Lics

IEEE Symposium on Logic in Computer Science

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

Tenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1995)

1995-06-26 to 1995-06-29, San Diego, CA, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Moshe Y. Vardi (Rice University)

Program Chair

Dexter C. Kozen (Cornell University)

Conference Chair

Samuel R. Buss (University of California, San Diego)

Jeffrey B. Remmel (University of California, San Diego)

Publicity Chair

Amy Felty (AT&T Bell Laboratories)

Douglas J. Howe (AT&T Bell Laboratories)

Program Committee:

Martín Abadi (DEC); Leo Bachmair (SUNY Stony Brook); Carolyn Brown (Univ. of Sussex); Edmund M. Clarke (CMU); E. Allen Emerson (UT Austin); Ursula Goltz (Univ. of Hildesheim); Thomas A. Henzinger (Cornell); Phokion G. Kolaitis (UC Santa Cruz); Dexter C. Kozen (Cornell) (chair); Dale A. Miller (Univ. of Pennsylvania); C.-H. Luke Ong (Oxford and Natl. Univ. Singapore); A. Prasad Sistla (Univ. of Illinois, Chicago); Val Breazu-Tannen (Univ. of Pennsylvania and Univ. of Paris-Sud); Jerzy Tiuryn (Univ. of Warsaw)

Organizing Committee

Martín Abadi; Samson Abramsky; Sergei N. Artëmov; Egon Börger; Allan Borodin; Wilfried Brauer; Alan Bundy; Samuel R. Buss; Edmund M. Clarke; Robert L. Constable; Amy Felty; Ursula Goltz; Douglas J. Howe; Gérard P. Huet; Jean-Pierre Jouannaud; Deepak Kapur; Claude Kirchner; Phokion G. Kolaitis; Dexter C. Kozen; F. Thomson Leighton; Daniel Leivant; Albert R. Meyer; Dale A. Miller; John C. Mitchell; Yiannis N. Moschovakis; Mitsuhiro Okada; Prakash Panangaden; Jeffrey B. Remmel; Jon G. Riecke; Simona Ronchi della Rocca; Andre Scedrov; Dana S. Scott; Jerzy Tiuryn; Moshe Y. Vardi


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