Lics

IEEE Symposium on Logic in Computer Science

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

Fourteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1999)

1999-07-02 to 1999-07-05, Trento, Italy

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
mitchell@cs.stanford.edu

Program Chair

Giuseppe Longo
Attn: LICS
LIENS (CNRS) et DMI
Ecole Normale Superieure
45 Rue D'Ulm
75005 Paris, France
longo@dmi.ens.fr
Phone : +33-1-4432-3328
Fax : +33-1-4432-2080

Conference Chair

Eugenio Moggi
DISI, Universita di Genova
16146 Genova, Italy
moggi@disi.unige.it

Simona Ronchi della Rocca
Dipartimento di Informatica
Universita di Torino
I-10149 Torino, Italy
ronchi@di.unito.it

Publicity Chair

Leonid Libkin
Bell Laboratories/Lucent Technologies
600-700 Mountain Avenue,
Murray Hill, NJ 07974, USA
libkin@research.bell-labs.com

Program Committee:

Martín Abadi (DEC SRC); Martin Grohe (U. Freiburg); Rajeev Alur (U. Penn); Nils Klarlund (AT&T Labs); Luigia C. Aiello (U. Roma); Giorgio Levi (U. Pisa); Andrea Asperti (U. Bologna); Giuseppe Longo (ENS) (chair); Vincent Danos (CNRS & Paris VII); Mitsuhiro Okada (Keio U.); Mariangiola Dezani-Ciancaglini (U. Torino); Martin Otto (RWTH Aachen); Roberto Di Cosmo (ENS, Paris); Edmund P. Robinson (Queen Mary); Gilles Dowek (INRIA); Davide Sangiorgi (INRIA); Abbas Edalat (Imperial College); Amilcar Sernadas (IST, Lisboa); Thomas Ehrhard (CNRS, Marseille); Natarajan Shankar (SRI); Melvin Fitting (CUNY); Wolfgang Thomas (RWTH Aachen); Rob J. van Glabbeek (Stanford U.); Scott Weinstein (U. Penn)

Organizing Committee

Martín Abadi; Marc Bezem; Wilfried Brauer; Edmund M. Clarke; Robert L. Constable; Nachum Dershowitz; Fausto Giunchiglia; Daniel Leivant; Leonid Libkin; Giuseppe Longo; Menachem Magidor; John C. Mitchell (chair); Eugenio Moggi; Vaughan R. Pratt; Jon G. Riecke; Simona Ronchi della Rocca; Mark E. Stickel; 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