Lics

IEEE Symposium on Logic in Computer Science

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

Third Annual IEEE Symposium on

Logic in Computer Science (LICS 1988)

1988-07-05 to 1988-07-08, Edinburgh, Scotland, UK

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

Program Chair

Yuri Gurevich (University of Michigan)

Conference Chair

Ashok K. Chandra (IBM Research Division - Yorktown Heights)

Publicity Chair

Dawid W. Bray (Clarkson University)

Program Committee:

M. Dezani; J. Halpern; G. Huet; C.A.R. Hoare; P. Kanellakis; J.-L. Lassez; J. Mitchell; R. Platek; G. Plotkin; S. Rosenschein; A. Sistla; J. Tiuryn; M. Wand

Organizing Committee

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


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