Lics

IEEE Symposium on Logic in Computer Science

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

Twelfth Annual IEEE Symposium on

Logic in Computer Science (LICS 1997)

1997-06-29 to 1997-07-02, Warsaw, Poland

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Moshe Y. Vardi (Rice University)

Program Chair

Glynn Winskel (University of Aarhus)

Conference Chair

Jerzy Tiuryn (Warsaw University)

Publicity Chair

Leonid Libkin (AT&T Bell Laboratories)

Program Committee:

K. Jon Barwise (Indiana University); David A. Basin (Freiburg University); Steven D. Brookes (CMU); Pierre-Louis Curien (ENS, Paris); Anuj Dawar (Swansea University); Peter Dybjer (Chalmers University); Amy Felty (AT&T); Matthew Hennessy (Sussex University); Claude Kirchner (INRIA Lorraine); Jan Krajícek (Prague University); Patrick Lincoln (SRI); Kenneth L. McMillan (Cadence Berkeley Labs); Damian Niwinski (Warsaw University); Jens Palsberg (Purdue University); Andrew M. Pitts (Cambridge University); Vaughan R. Pratt (Stanford University); Colin Stirling (Edinburgh University); Glynn Winskel (Aarhus University) (chair)

Organizing Committee

Martín Abadi; Samson Abramsky; Sergei N. Artëmov; Egon Börger; Allan Borodin; Wilfried Brauer; Alan Bundy; Samuel R. Buss; Edmund M. Clarke; Robert L. Constable; Amy Felty; Ursula Goltz; Douglas J. Howe; Gérard P. Huet; Jean-Pierre Jouannaud; Deepak Kapur; Claude Kirchner; Phokion G. Kolaitis; Dexter C. Kozen; F. Thomson Leighton; Daniel Leivant; Albert R. Meyer; Dale A. Miller; John C. Mitchell; Yiannis N. Moschovakis; Mitsuhiro Okada; Prakash Panangaden; Jeffrey B. Remmel; Jon G. Riecke; Simona Ronchi della Rocca; Andre Scedrov; Dana S. Scott; Jerzy Tiuryn; Moshe Y. Vardi


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