LICS 2002

IEEE Symposium on Logic in Computer Science
Copenhagen, Denmark, July 22-25, 2002


The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

The general LICS series website contains a page on LICS 2002 at http://www.dcs.ed.ac.uk/home/grohe/lics/lics02/. It is maintained by the LICS people themselves, and may be more up to date than the information here on the FLoC'02 site. If you notice any discrepancies, please notify one of the webmasters.

LICS is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing,
in cooperation with the Association of Symbolic Logic and the European Association for Theoretical Computer Science,
with support from the US Office of Naval Research International Field Office and the European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research.

Invited speakers

Invited tutorial

  • Maurizio Lenzerini, U Rome I (La Sapienza), Italy
    Description logics: Foundations for class-based knowledge representation

Program Committee

Conference Chair

Ulrich Kohlenbach <>, U Aarhus, Denmark

Publicity Chair

Martin Grohe <>, U Edinburgh, UK

General Chair

Samson Abramsky <>, Oxford U, UK