Lics

IEEE Symposium on Logic in Computer Science

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

Eighth Annual IEEE Symposium on

Logic in Computer Science (LICS 1993)

1993-06-19 to 1993-06-23, Montreal, Canada

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Robert L. Constable (Cornell University)

Program Chair

Moshe Y. Vardi (IBM Research)

Conference Chair

Mitsuhiro Okada (Concordia university)

Prakash Panangaden (McGill University)

Publicity Chair

Daniel Leivant (Indiana University)

Program Committee:

Martín Abadi (DEC SRC); Samson Abramsky (Imperial Coll.); Bard Bloom (Cornell); Peter Clote (Boston Coll.); Peter J. Freyd (Univ. of Pennsylvania); David Harel (Weizmann Inst.); Kim G. Larsen (Aalborg Univ.); Pierre Lescanne (CRIN and INRIA-Lorraine); David A. McAllester (MIT); José Meseguer (SRI); Dale A. Miller (Univ. of Pennsylvania); Yiannis N. Moschovakis (UCLA); Natarajan Shankar (SRI); Carolyn L. Talcott (Stanford); Moshe Y. Vardi (IBM Almaden); Pierre Wolper (Univ. of Liege)

Organizing Committee

Martín Abadi; Samson Abramsky; Sergei N. Artëmov; K. Jon Barwise; Manuel Blum; Allan Borodin; Alan Bundy; Samuel R. Buss; Edmund M. Clarke; Robert L. Constable; Erwin Engeler; Jean H. Gallier; Ursula Goltz; Yuri Gurevich; Susumu Hayashi; Gérard P. Huet; Gilles Kahn; Deepak Kapur; Claude Kirchner; S. Rap Kosaraju; Jan W. Klop; Phokion G. Kolaitis; Daniel Leivant; Albert R. Meyer; Grigori Mints; John C. Mitchell; Yiannis N. Moschovakis; Mitsuhiro Okada; Prakash Panangaden; Andrew M. Pitts; Gordon D. Plotkin; Simona Ronchi della Rocca; Grzegorz Rozenberg; Andre Scedrov; Dana S. Scott; Jerzy Tiuryn; Moshe Y. Vardi; Roel C. de Vrijer


Last modified: 2016-01-1416:21
Andrzej Murawski