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

LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners

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: 2024年10月24日 9:41
Sam Staton

AltStyle によって変換されたページ (->オリジナル) /