Lics

IEEE Symposium on Logic in Computer Science

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

Thirteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1998)

1998-06-21 to 1998-06-24, Indianapolis, IN, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

John C. Mitchell (Stanford U.)
mitchell@cs.stanford.edu

Program Chair

Vaughan R. Pratt
Attn: LICS
Computer Science Department
Gates Building 4B
Stanford University
Stanford, CA 94305-9045
pratt@lics98.stanford.edu
Phone : +1 415-723-2943
Fax : +1 415-725-4671

Conference Chair

Daniel Leivant (Indiana U.)
leivant@cs.indiana.edu

Publicity Chair

Leonid Libkin (Bell Labs)
libkin@research.bell-labs.com

Program Committee:

Serge Abiteboul (INRIA); Eugenio Moggi (U Genoa); Luca Aceto (Aalborg U); Tobias Nipkow (TU Munich); Erich Grädel (RWTH Aachen); C.-H. Luke Ong (Oxford U); Edith Hemaspaandra (Lemoyne Coll); Doron A. Peled (Bell Labs); Thomas A. Henzinger (UC Berkeley); Vaughan R. Pratt (Stanford U); Neil Immerman (U Mass); Laurent Regnier (CNRS Marseilles); Bengt Jonsson (Uppsala U); William C. Rounds (U Michigan); Giuseppe Longo (ENS); Alasdair Urquhart (U Toronto); Dale A. Miller (Penn State)

Organizing Committee

Alok Aggarwal; Marc Bezem; Wilfried Brauer; Edmund M. Clarke; Robert L. Constable; 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