Lics

IEEE Symposium on Logic in Computer Science

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

Eleventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1996)

1996-07-27 to 1996-07-30, New Brunswick, NJ, USA

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

Edmund M. Clarke (Carnegie-Mellon University)

Conference Chair

Jon G. Riecke (Bell Labs)

Publicity Chair

Amy Felty (Lucent Technologies)

Douglas J. Howe (Lucent Technologies)

Program Committee:

Samuel R. Buss (UC San Diego); E. Allen Emerson (UT Austin); Steven M. German (IBM Watson); Georg Gottlob (TU Vienna); Orna Grumberg (Technion); Douglas J. Howe (Bell Labs); Claude Kirchner (INRIA & CRIN); Kenneth Kunen (Wisconsin); Patrick Lincoln (SRI); John C. Mitchell (Stanford); Ugo Montanari (Univ. Pisa); Prakash Panangaden (McGill); Frank Pfenning (CMU); John M. Rushby (SRI); Colin Stirling (Edinburgh); Alexei P. Stolboushkin (UCLA); Glynn Winskel (Aarhus)

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