Lics

IEEE Symposium on Logic in Computer Science

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

Ninth Annual IEEE Symposium on

Logic in Computer Science (LICS 1994)

1994-07-04 to 1994-07-07, Paris, France

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Robert L. Constable

Program Chair

Samson Abramsky

Conference Chair

Gérard P. Huet

Jean-Pierre Jouannaud

Publicity Chair

Amy Felty

Douglas J. Howe

Program Committee:

Samson Abramsky (Imperial Coll.); Jean-Jacques Lévy (INRIA); Krzysztof R. Apt (CWI); David A. McAllester (MIT); Harald Ganzinger (MPI Saarbrucken); Prakash Panangaden (McGill); Carl A. Gunter (Univ. of Pennsylvania); Frank Pfenning (CMU); Achim Jung (Darmstadt); Vaughan R. Pratt (Stanford); Paris C. Kanellakis (Brown); Peter Schroeder-Heister (Tubingen); Dexter C. Kozen (Cornell); Colin Stirling (Edinburgh); Daniel Leivant (Indiana); Glynn Winskel (Aarhus)

Organizing Committee

Martín Abadi; Samson Abramsky; Sergei N. Artëmov; Allan Borodin; Alan Bundy; Samuel R. Buss; Edmund M. Clarke; Robert L. Constable; Amy Felty; Ursula Goltz; Yuri Gurevich; Susumu Hayashi; Douglas J. Howe; Gérard P. Huet; Jean-Pierre Jouannaud; Deepak Kapur; Claude Kirchner; Phokion G. Kolaitis; S. Rap Kosaraju; Dexter C. Kozen; Daniel Leivant; Albert R. Meyer; Dale A. Miller; John C. Mitchell; Yiannis N. Moschovakis; Mitsuhiro Okada; Prakash Panangaden; Andrew M. Pitts; Gordon D. Plotkin; Jeffrey B. Remmel; Simona Ronchi della Rocca; Grzegorz Rozenberg; Andre Scedrov; Dana S. Scott; Jerzy Tiuryn; Moshe Y. Vardi


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