Lics

IEEE Symposium on Logic in Computer Science

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

Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 1990)

1990-06-04 to 1990-06-07, Philadelphia, PA, USA

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

John C. Mitchell (Dept. of Computer Science, Stanford University)

Conference Chair

Jean Gallier (Dept. Computer and Info. Sciences, University of Pennsylvania)

Publicity Chair

Daniel Leivant (School of Computer Science, Carnegie Mellon University)

Program Committee:

Krzysztof R. Apt; K. Jon Barwise; Edmund M. Clarke; Stephen A. Cook; Susumu Hayashi; Paris C. Kanellakis; Jean-Pierre Jouannaud; Daniel Leivant; Ugo Montanari; Andrew M. Pitts; Erik Sandewall; Andre Scedrov; Mark E. Stickel; Glynn Winskel

Organizing Committee

Martín Abadi; K. Jon Barwise; Ashok K. Chandra; Edsgar W. Dijkstra; Erwin Engeler; Jean H. Gallier; Joseph A. Goguen; David Gries; Yuri Gurevich; 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; Roel C. de Vrijer


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