Seventeenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2002)

2002-07-22 to 2002-07-25, Copenhagen, Denmark

On this page:

Invited Speakers

Presented Papers

Entries are ordered by surname of first author

Short Presentations

Entries are ordered by surname of first author

Organizers

General Chair

Samson Abramsky
Oxford University Computing Laboratory
Wolfson Building
Parks Road, Oxford, OX1 3QD
United Kingdom
Samson.Abramsky@comlab.ox.ac.uk

Program Chair

Gordon Plotkin
Division of Informatics
The University of Edinburgh
James Clerk Maxwell Building
Mayfield Road
Edinburgh EH9 3JZ
United Kingdom
gdp@dcs.ed.ac.uk
Phone : + 44 131 650 5158
Fax : + 44 131 667 7209

Conference Chair

Ulrich Kohlenbach
Department of Computer Science, BRICS
University of Aarhus
Ny Munkegade, Building 540
DK-8000 Aarhus C
Denmark
kohlenb@brics.dk

Publicity Chair

Martin Grohe
Laboratory for Foundations of Computer Science
Division of Informatics
The University of Edinburgh
Edinburgh, EH9 3JZ
Scotland, UK
grohe@dcs.ed.ac.uk

Program Committee:

Franz Baader (RWTH Aachen); Marco Cadoli (U. di Roma "La Sapienza"); Vincent Danos (CNRS); Anuj Dawar (U. of Cambridge); Rocco De Nicola (U. degli Studi di Firenze); Harald Ganzinger (MPI für Informatik); Orna Grumberg (Technion); Robert Harper (Carnegie Mellon University); Furio Honsell (University of Udine); Phokion Kolaitis (UC Santa Cruz); Johann A. Makowsky (Technion); Oded Maler (CNRS-Vérimag); Yoram Moses (Technion); Robert Nieuwenhuis (UPC); Peter O'Hearn (Queen Mary); Doron A. Peled (Bell Laboratories); Benjamin C. Pierce (U. of Pennsylvania); Andrew Pitts (U. of Cambridge); Gordon Plotkin (U. of Edinburgh) (chair); Andreas Podelski (MPI für Informatik); Andre Scedrov (U. of Pennsylvania); Peter Thiemann (U. Freiburg); Andrei Voronkov (U. of Manchester)

Organizing Committee

M. Abadi; S. Abramsky (chair); A. Aggarwal; M. Bezem; E. Clarke; R. Constable; N. Dershowitz; J. Diaz; H. Ganzinger; F. Giunchiglia; M. Grohe; J. Halpern; D. Leivant; L. Libkin; G. Longo; D.A. Martin; J. Mitchell; E. Moggi; G. Plotkin; V. Pratt; J. Riecke; S. Ronchi della Rocca; J. Tiuryn; M.Y. Vardi; J. Vitter; G. Winskel

Advisory Board

M. Abadi; S. Abiteboul; M. Dezani; J. Halpern; R. Impagliazzo; D. Kozen; L. Pacholski; A. Scedrov; D. Scott; J. Wing