Lics

ACM/IEEE Symposium on Logic in Computer Science

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

Sixth Annual IEEE Symposium on

Logic in Computer Science (LICS 1991)

1991-07-15 to 1991-07-18, Amsterdam, The Netherlands

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Albert R. Meyer (MIT Lab. for Computer Science)

Program Chair

Gilles Kahn

Conference Chair

Roel C. de Vrijer (Free University of Amsterdam)

Jan W. Klop (CWI, Amsterdam)

Publicity Chair

Daniel Leivant (Carnegie-Mellon University)

Program Committee:

Serge Abiteboul; Samson Abramsky; Krzysztof R. Apt; Jan A. Bergstra; Val Breazu-Tannen; Samuel R. Buss; Robert L. Constable; Pierre-Louis Curien; Nachum Dershowitz; Peter Dybjer; Ursula Goltz; Giuseppe Longo; Grigori Mints; Andrew M. Pitts; Simona Ronchi della Rocca; Masahiko Sato; Ehud Y. Shapiro; Berhard Steffen

Organizing Committee

Martín Abadi; K. Jon Barwise; Ashok K. Chandra; Robert L. Constable; Erwin Engeler; Jean H. Gallier; Joseph A. Goguen; David Gries; Yuri Gurevich; Susumu Hayashi; David S. Johnson; Gilles Kahn; Jan W. Klop; Dexter C. Kozen; Daniel Leivant; Zohar Manna; Albert R. Meyer; Grigori Mints; John C. Mitchell; Yiannis N. Moschovakis; Christos H. Papadimitriou; Rohit Parikh; Gordon D. Plotkin; Grzegorz Rozenberg; Dana S. Scott; Jerzy Tiuryn; Roel C. de Vrijer


Last modified: 2022-10-3113:49
Sam Staton