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

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

A. Felty (Lucent Technologies)

D. Howe (Lucent Technologies)

Program Committee:

S. Buss (UC San Diego); A. Emerson (UT Austin); S. German (IBM Watson); G. Gottlob (TU Vienna); O. Grumberg (Technion); D. Howe (Bell Labs); C. Kirchner (INRIA & CRIN); K. Kunen (Wisconsin); P. Lincoln (SRI); J. Mitchell (Stanford); U. Montanari (Univ. Pisa); P. Panangaden (McGill); F. Pfenning (CMU); J. Rushby (SRI); C. Stirling (Edinburgh); A. Stolboushkin (UCLA); G. Winskel (Aarhus)

Organizing Committee

M. Abadi; S. Abramsky; S. Artemov; E. Boerger; A. Borodin; W. Brauer; A. Bundy; S. Buss; E. Clarke; R. Constable; A. Felty; U. Goltz; D. Howe; G. Huet; J.-P. Jouannaud; D. Kapur; C. Kirchner; P. Kolaitis; D. Kozen; T. Leighton; D. Leivant; A.R. Meyer; D. Miller; J. Mitchell; Y. Moschovakis; M. Okada; P. Panangaden; J. Remmel; J. Riecke; S. Ronchi della Rocca; A. Scedrov; D. Scott; J. Tiuryn; M.Y. Vardi