Lics

IEEE Symposium on Logic in Computer Science

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

Fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 1989)

1989-06-05 to 1989-06-08, Pacific Grove, CA, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

Program Chair

Rohit Parikh (City University of New York)

Conference Chair

Albert R. Meyer (MIT)

Publicity Chair

David W. Bray (Clarkson University)

Program Committee:

M. Davis; M. Fitting; M. Hennessy; D. Israel; J. Jaffar; D. Joseph; D. Kapur; A. Kfoury; P. Kolaitis; D. Kozen; V. Lifschitz; A. Pnueli; V. Pratt; R. Statman

Organizing Committee

K. Jon Barwise; Woodrow W. Bledsoe; Ashok K. Chandra; Edsgar W. Dijkstra; Erwin Engeler; Joseph A. Goguen; David Gries; Yuri Gurevich; Dexter C. Kozen; Zohar Manna; Albert R. Meyer; Rohit Parikh; Gordon D. Plotkin; Dana S. Scott


Last modified: 2017-04-0512:37
Andrzej Murawski