Lics

IEEE Symposium on Logic in Computer Science

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

Second Annual IEEE Symposium on

Logic in Computer Science (LICS 1987)

1987-06-22 to 1987-06-25, Ithaca, NY, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

Program Chair

David Gries (Cornell University)

Conference Chair

Ashok H. Chandra (IBM T.J. Watson Research Center)

Publicity Chair

David W. Bray (Clarkson University)

Program Committee:

Stephen Brookes; Luca Cardelli; Robert Constable; Melvin Fitting; Joseph A. Goguen; Yuri Gurevich; David Harel; Jean-Pierre Jouannaud; Richard E. Ladner; Vladimir Lifschitz; Giuseppe Longo; Anil Nerode; Gordon Plotkin; Amir Pnueli; Philip Scott

Organizing Committee

K. Jon Barwise; Woodrow W. Bledsoe; Ashok K. Chandra; Edsger W. Dijkstra; Erwin Engleler; Joseph A. Goguen; Dexter C. Kozen; Zohar Manna; Albert R. Meyer; Rohit Parikh; Gordon D. Plotkin; Dana S. Scott


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