Lics

IEEE Symposium on Logic in Computer Science

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

Fifteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2000)

2000-06-26 to 2000-06-28, Santa Barbara, CA, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

John C. Mitchell
Computer Science Department
Stanford University
Stanford, CA 94305-9045, USA
mitchell@cs.stanford.edu

Program Chair

Martín Abadi
Bell Labs - Lucent Technologies
3180 Porter Drive
Palo Alto, California 94304, USA
abadi@research.bell-labs.com
Phone : +1 650 565 7477
Fax : +1 650 565 7676

Publicity Chair

Martin Grohe
Institut fuer Mathematische Logik
Albert-Ludwigs-Universitaet Freiburg
Eckerstr. 1, 79104 Freiburg, Germany
grohe@logik.mathematik.uni-freiburg.de

Program Committee:

Pierre-Louis Curien (CNRS & U. Paris 7); Rocco De Nicola (U. Florence); Javier Esparza (U. Munich); Marcelo P. Fiore (U. Sussex); Harald Ganzinger (MPI Informatik); Joseph Y. Halpern (Cornell U.); Martin Hofmann (U. Edinburgh); Bart Jacobs (U. Nijmegen); Orna Kupferman (Hebrew U.); Kim G. Larsen (Aalborg U.); Leonid Libkin (Bell Labs); James F. Lynch (Clarkson U.); Vincent van Oostrom (U. Utrecht & CWI); Frank Pfenning (CMU); Benjamin C. Pierce (U. Penn); Jon G. Riecke (Bell Labs); Igor Walukiewicz (Warsaw U.)

Organizing Committee

Martín Abadi; 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 (chair); Eugenio Moggi; Vaughan R. Pratt; 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: 2016-01-1416:21
Andrzej Murawski