Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

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

Invited Papers

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 D. 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 G. Kolaitis (UC Santa Cruz); Johann A. Makowsky (Technion); Oded Maler (CNRS-Vérimag); Yoram Moses (Technion); Robert Nieuwenhuis (UPC); Peter W. O'Hearn (Queen Mary); Doron A. Peled (Bell Laboratories); Benjamin C. Pierce (U. of Pennsylvania); Andrew M. Pitts (U. of Cambridge); Gordon D. 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

Martín Abadi; Samson Abramsky (chair); Alok Aggarwal; Marc Bezem; Edmund M. Clarke; Robert L. Constable; Nachum Dershowitz; Josep Díaz; Harald Ganzinger; Fausto Giunchiglia; Martin Grohe; Joseph Y. Halpern; Daniel Leivant; Leonid Libkin; Giuseppe Longo; Donald A. Martin; John C. Mitchell; Eugenio Moggi; Gordon D. Plotkin; Vaughan R. Pratt; Jon G. Riecke; Simona Ronchi della Rocca; Jerzy Tiuryn; Moshe Y. Vardi; Jeffrey S. Vitter; Glynn Winskel

Advisory Board

Martín Abadi; Serge Abiteboul; Mariangiola Dezani-Ciancaglini; Joseph Y. Halpern; Russell Impagliazzo; Dexter C. Kozen; Leszek Pacholski; Andre Scedrov; Dana S. Scott; Jeannette M. Wing


Last modified: 2016-01-1416:21
Andrzej Murawski