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

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

Martin 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

Conference Chair


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 Fiore (U. Sussex); Harald Ganzinger (MPI Informatik); Joe Halpern (Cornell U.); Martin Hofmann (U. Edinburgh); Bart Jacobs (U. Nijmegen); Orna Kupferman (Hebrew U.); Kim 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

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

Advisory Board

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