Lics

IEEE Symposium on Logic in Computer Science

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

Seventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1992)

1992-06-22 to 1992-06-25, Santa Cruz, CA, USA

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Prof. Robert L. Constable
Department of Computer Science
Upson Hall
Cornell University
Ithaca, NY 14853 USA
rc@cs.cornell.edu

Program Chair

Andre Scedrov
Inst. for Research in Cognitive Sci.
University of Pennsylvania
3401 Walnut Street, Suite 400C
Philadelphia, PA 19104-6228 USA
lics92@cis.upenn.edu
Fax : (215) 573 2048 (Attn: LICS)

Conference Chair

Prof. Phokion G. Kolaitis
Computer and Information Sciences
Univ. of California, Santa Cruz
Santa Cruz, CA 95064 USA
kolaitis@saturn.ucsc.edu

Publicity Chair

Prof. Daniel Leivant
Department of Computer Science
Indiana University
Bloomington, IN 47405, USA
lics@cs.indiana.edu

Program Committee:

Egon Börger (U. Pisa); Rance Cleaveland (North Carolina State); Stephen A. Cook (U. Toronto); Nachum Dershowitz (U. Illinois); Jean-Yves Girard (U. Paris 7); Rob J. van Glabbeek (Stanford); Susumu Hayashi (Ryukoku); Dominic J. D. Hughes (U. Glasgow); Neil D. Jones (U. Copenhagen); Jean-Louis Lassez (IBM T.J. Watson Ctr.); Eugenio Moggi (U. Genova); Anil Nerode (Cornell); Fernando C. N. Pereira (AT\&T Bell Laboratories); Andre Scedrov (U. Pennsylvania) (chair); Dana S. Scott (CMU); Andrzej Tarlecki (Inst. C. S., PAN Warsaw); Moshe Y. Vardi (IBM Almaden Ctr.)

Organizing Committee

Martín Abadi; Sergei N. Artëmov; K. Jon Barwise; Manuel Blum; Samuel R. Buss; Edmund M. Clarke; Robert L. Constable (chair); Erwin Engeler; Jean H. Gallier; Ursula Goltz; Yuri Gurevich; Susumu Hayashi; David S. Johnson; Gilles Kahn; Deepak Kapur; Jan W. Klop; Phokion G. Kolaitis; Daniel Leivant; Albert R. Meyer; Grigori Mints; John C. Mitchell; Yiannis N. Moschovakis; Rohit Parikh; Andrew M. Pitts; Gordon D. Plotkin; Simona Ronchi della Rocca; Grzegorz Rozenberg; Andre Scedrov; Dana S. Scott; Jerzy Tiuryn; Moshe Y. Vardi; Roel C. de Vrijer


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