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.

• LICS 2002 Call for Papers
• LICS-affiliated workshops
• LICS accepted papers
• LICS program
• Participant list for LICS

Invited speakers

• Natarajan Shankar, SRI International, USA
  joint with FME, RTA: Little engines of proof
• Stephen A. Cook, U Toronto, Canada
  Complexity Classes, Propositional Proof Systems, and Formal Theories
• Georg Gottlob, Vienna U of Techn., Austria
  Monadic Queries over Tree-Structured Data
• John C. Reynolds, Carnegie Mellon U, USA
  Separation Logic: A Logic for Shared Mutable Data Structures

Invited tutorial

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

Program Committee

• chair: Gordon Plotkin <gdp@dcs.ed.ac.uk>
  Laboratory for Foundations of Computer Science
  University of Edinburgh
  The King's Buildings
  Edinburgh EH9 3JZ, SCOTLAND UK
  +44 131 650 5158
  +44 131 667 7209 (fax)
• Franz Baader, Dresden U of Techn., Germany
• Marco Cadoli, U Rome I (La Sapienza), Italy
• Vincent Danos, U Paris VII, France
• Anuj Dawar, U Cambridge, UK
• Rocco De Nicola, U Florence, Italy
• Harald Ganzinger, MPI Saarbrücken, Germany
• Orna Grumberg, Israel Inst. of Techn.
• Robert Harper, Carnegie Mellon U, USA
• Furio Honsell, U Udine, Italy
• Phokion G. Kolaitis, U California-Santa Cruz, USA
• Johann A. Makowsky, Israel Inst. of Techn.
• Oded Maler, IMAG Grenoble, France
• Yoram Moses, Israel Inst. of Techn.
• Robert Nieuwenhuis, Techn. U of Catalonia, Spain
• Peter O'Hearn, Queen Mary, U London, UK
• Doron A. Peled, U Texas-Austin, USA
• Benjamin C. Pierce, U Pennsylvania, USA
• Andrew M. Pitts, U Cambridge, UK
• Andreas Podelski, MPI Saarbrücken, Germany
• Andre Scedrov, U Pennsylvania, USA
• Peter Thiemann, U Freiburg, Germany
• Andrei Voronkov, U Manchester, UK

Conference Chair

Ulrich Kohlenbach <kohlenb@brics.dk>, U Aarhus, Denmark

Publicity Chair

Martin Grohe <grohe@dcs.ed.ac.uk>, U Edinburgh, UK

General Chair

Samson Abramsky <Samson.Abramsky@comlab.ox.ac.uk>, Oxford U, UK