The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Topics of interest include: automata theory, category theory, concurrency, constraint programming, database theory, domain theory, finite model theory, formal methods, hybrid systems, language calculi, linear logic, complexity, artificial intelligence, logic programming, modal and temporal logics, model checking, semantics, security, rewriting, specifications, type theory, and verification.
This is the 6th Heterogeneous Computing Workshop, also known as HCW '97. Heterogeneous computing is a very important research area with great practical impact. The topic of heterogeneous computing covers many types of systems. A heterogeneous system may be a set of machines interconnected by a wide-area network and used to support the execution of jobs submitted by a variety of users. A heterogeneous system may be a suite of ...
Virtual Reality Annual International Symposium (VRAIS) 1997 presents a sample of all the things that make the field of virtual reality (VR) an exciting area in which to work. We have papers this year that present quality research on a variety of topics in computing, HCI, and hardware. We also have, for the first time, a number of papers on real applications of VR that go beyond the usual entertainment ...
Reports by Corporate Author
