Lics

IEEE Symposium on Logic in Computer Science

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

Sixteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2001)

2001-06-16 to 2001-06-19, Boston, MA, USA

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

Joseph Y. Halpern
Computer Science Dept.
4144 Upson Hall
Cornell University
Ithaca, NY 14853, USA
halpern@cs.cornell.edu
Phone : +1 607 255 9562
Fax : +1 607 255-4428

Conference Chair

Harry G. Mairson
Boston University
111 Cummington Street
Boston, MA 02215
mairson@cs.bu.edu

Publicity Chair

Martin Grohe
Department of Mathematics, Statistics, and Computer Science
University of Illinois at Chicago
851 S. Morgan St. (M/C 249)
Chicago, IL 60607-7045
grohe@uic.edu

Program Committee:

Parosh A. Abdulla (Uppsala U.); Rance Cleaveland (SUNY Stony Brook); Hubert Comon-Lundh (CNRS -- ENS Cachan); Thomas Eiter (T.U. Vienna); Erich Grädel (RWTH Aachen); Nevin Heintze (Bell Labs); Radha Jagadeesan (Loyola U.); Jean-Pierre Jouannaud (U. Paris-Sud); Patrick Lincoln (SRI International); David A. McAllester (AT&T Labs); Ron van der Meyden (U. New South Wales); Adolfo Piperno (U. Roma "La Sapienza"); Gordon D. Plotkin (U. Edinburgh); Michel de Rougemont (U. Paris-II); Thomas Streicher (T.U. Darmstadt); Pawel Urzyczyn (U. Warsaw); Pierre Wolper (U. Liege)

Organizing Committee

Martín Abadi; S. Abramsky (chair); Alok Aggarwal; Marc Bezem; Edmund M. Clarke; Robert L. Constable; Nachum Dershowitz; Josep Díaz; Harald Ganzinger; Fausto Giunchiglia; Martin Grohe; Daniel Leivant; Leonid Libkin; Giuseppe Longo; Donald A. Martin; John C. Mitchell; Eugenio Moggi; 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; Samson Abramsky; Mariangiola Dezani-Ciancaglini; Joseph Y. Halpern; Russell Impagliazzo; Dexter C. Kozen; Leszek Pacholski; Andre Scedrov; Dana S. Scott; Jeannette M. Wing


Last modified: 2017-04-0512:37
Andrzej Murawski