Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.bell-labs.com/topic/conferences/lics/
Email: libkin@bell-labs.com
Organizers: Giuseppe Longo, Eugenio Moggi, Simona Ronchi della Rocca
Deadline for abstracts: December 10, 1998
Description:
Topics of interest include: abstract data types, automated deduction, bounded arithmetic, categorical models and logics, combination of logics, concurrency, constraint programming, constructive mathematics, database theory, denotational semantics, domain theory and applications, finite model theory, formal methods, game semantics, hybrid systems, logics of knowledge, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, logical aspects of protocol security, rewriting, semantics, software specification, type theory and type systems, universal algebra, and verification.
Speakers: H. Friedman, J.-Y. Girard, J. Halpern, U. Montanari, L. Paulson
Date received: October 13, 1998, revised February 06, 1999
© 2008 Atlas Conferences Inc.