LICS'91 Program

Date: Wed, 3 Apr 91 02:51:54 EST

                     Sixth Annual IEEE Symposium on 
                   LOGIC IN COMPUTER SCIENCE (LICS'91)
			    July 15-18, 1991
		Vrije Universiteit, Amsterdam, The Netherlands

   Sponsored by the IEEETC on Mathematical Foundations of Computing; CWI
   Amsterdam; and the Vrije Universiteit, Amsterdam; in cooperation with the
   Association for Computing Machinery--SIGACT, the Association for Symbolic
   Logic, and the European Association for Theoretical Computer Science.

      Below is the Technical Program and Conference Events for LICS 91.
      Registration, hotel and travel information will be broadcasted
      within a few days.  If you expect to attend LICS 91, the organizers
      would be grateful if you would immediately email the following reply
      to   lics91@cwi.nl  ( *NOT* to the sender of the present message):
      In case price is a factor, note that early registration for authors and
      members of sponsoring organizations is expected to be about NLG 375
      ($215) including 6+ meals, and middle price single hotel room per night
      is about NLG 100 ($60).


SUNDAY WELCOME AND REGISTRATION.  On July 14 there will be a welcome 
reception from 19:00 to 22:00, at the  Grand Caf'e Waterloo.
The Waterloo is on the Opera and City Hall complex, at Zwanenburgwal 15.

reception by the City Mayor and Aldermen in the  Stedelijk Museum,
>from 18:00 to 19:30.  A light dinner buffet will be served.
Following the reception, N.G. de Bruijn will deliver an invited lecture 
at the Lutheran Church historic building, from 20:00 to 21:00.

TUESDAY BUSINESS MEETING.  On July 16, following the scientific program, 
a business meeting will take place at the Free University, from 17:30 till
about 19:00.

WEDNESDAY BANQUET.  A Conference Banquet will take place on July 17 
at the Dutch Maritime Museum, preceded by an aperitif on board
the tallship  Amsterdam.

All talks at the Vrije Universiteit main building's Aula

SUNDAY, July 14
WELCOME RECEPTION  (19:00--22:00)

MONDAY, July 15
SESSION 1.  9:30--10:45.  Chair: Giuseppe Longo (LIENS, Paris)
 9:30  A Foundational Delineation of Computational Feasibility,
	Daniel Leivant (Carnegie Mellon)
 9:55  Toward a Semantics for the QUEST Language,
	Fabio Alessi and Franco Barbanera (Turin)
10:20  Term Declaration Logic and Generalised Composita,
	Peter Aczel (Manchester)

SESSION 2.  11:15-12:55. Chair: Samson Abramsky (Imperial College)
11:15  Logic Programming in a Fragment of Intuitionistic Linear Logic,
	Joshua Hodas (U Penn) and Dale Miller (Edinburgh)
11:40  Games Semantics for Linear Logic,
	Yves Lafont (LIENS Paris) and Thomas Streicher (Passau)
12:05  Linearizing Intuitionistic Implication,
	Patrick Lincoln (Stanford), Andre Scedrov (U Penn), 
	and Natarajan Shankar (SRI)
12:30  Some results on the Interpretation of Lambda Calculus in 
       Operator Algebras,
	Pasquale Malacaria (Turin) and Laurent Regnier (Paris VII)

SESSION 3.  14:15-15:30. Chair: Val Breazu-Tannen (U Penn)
14:15  Unification and Anti-Unification in the Calculus of Constructions,
	Frank Pfenning (Carnegie Mellon)
14:40  Partial Objects in the Calculus of Constructions,
	Philippe Audebaud  (Bordeaux)
15:05  An Evaluation Semantics for Classical Proofs,
	Chetan Murthy (Cornell)

SESSION 4.  16:00-17:15.  Chair: Bernhard Steffen (Aachen)
16:00  A Theory of Testing for Real-Time,
	Rance Cleaveland (North Carolina State) and Amy Zwarico (Johns Hopkins)
16:25  Complexity Bounds of Hoare-style Proof Systems,
	Hardi Hungar (Oldenburg)
16:50  Semantics of Pointers, Referencing and Dereferencing 
       with Intensional Logic,
	Hin-Kai Hung (AGS Information Services) and Jeffery Zucker (McMaster)

RECEPTION  (18:00-19:30) light dinner buffet (at the Stedelijk Museum)

EVENING LECTURE  (20:00-21:00)     N.G. de Bruijn:  Can People Think?
  		(at the Lutheran Church historic building)

TUESDAY, July 16
SESSION 5.  9:30-10:45.  Chair: Pierre-Louis Curien (LIENS Paris)
 9:30  Sequentiality and Strong Stability,
	Antonio Bucciarelli (Pisa and LIENS Paris) and Thomas Ehrard (Paris 7)
 9:55  Parallel PCF has a Unique Extensional Model,
	Allen Stoughton (Sussex)
10:20  The Fixed Point Property in Synthetic Domain Theory,
	Paul Taylor (Imperial College)

SESSION 6.  11:15-12:55.  Chair: Robert Constable (Cornell)
11:15  INVITED TALK: Thierry Coquand (Goteborg)
12:05  On Computational Open-Endedness in Martin-Lof Type Theory,
	Douglas Howe (Cornell)
12:30  Predicative Type Universes and Primitive Recursion,
	Nax-Paul Mendler (Manchester)

SESSION 7.  14:15-15:30.  Chair: Simona Ronchi Della Rocca (Turin)
14:15  Freyd's Hierarchy of Combinator Monoids,
	Rick Statman (Carnegie Mellon)
14:40  Equational Programming in Lambda Calculus,
	Enrico Tronci (Carnegie Mellon)
15:05  An Inverse of the Evaluation Functional for Typed Lambda Calculus,
	Ulrich Berger and Helmut Schwichtenberg (U. of Munich)

SESSION 8.  16:00-17:15.  Chair: Serge Abiteboul (INRIA)
16:00  A Completeness Theorem for Kleene Algebras and the Algebra 
       of Regular Events,
	Dexter Kozen (Cornell)
16:25  On First Order Database Query Languages,
	Arnon Avron and Joram Hirshfeld (Tel Aviv)
16:50  Specifying and Proving Serializability in Temporal Logic,
	Doron Peled and Shmuel Katz (Technion) and Amir Pnueli (Weizmann)

BUSINESS MEETING  (17:30-19:00)

SESSION 9.  9:30-10:45.  Chair: Jan Bergstra (University of Amsterdam)
 9:30  CCS with Priority Choice,
	Juanito Camilleri (Cambridge) and Glynn Winskel (Aarhus)
 9:55  Rabin Measures and their applications to Fairness and Automata Theory,
	Nils Klarlund (IBM) and Dexter Kozen (Cornell)
10:20  Specification and Refinement of Probabilistic Processes,
	Bengt Jonsson (Swedish Inst. for CS) and Kim Larsen (Aalborg)

SESSION 10.  11:15-12:55.  Chair: Ehud Shapiro (Weizmann Inst.)
	Jeff Paris (Manchester): Modelling Belief.
12:05  On the 0-1 Law for the Class of Existential Second-Order,
       Minimal Godel Sentences with Equality
	Leszek Pacholski and Wieslaw Szwast (IM PAN Wroclaw)
12:30  On the Deduction Rule and the Number of Proof Lines,
	Samuel Buss (UC San Diego) and Maria-Luisa Bonet (Berkeley)

SESSION 11.  14:15-15.55.  Chair: Krzysztof Apt (CWI Amsterdam)
14:15  Logic Programs as Types for Logic Programs,
	Thom Fruhwirth (Tech. U. Vienna), Ehud Shapiro (Weizmann),
	Moshe Vardi (IBM-Almaden), and Eyal Yardeni (Weizmann)
14:40  A First-Order Theory of Types and Polymorphism in Logic Programming,
	Michael Kifer and James Wu (Stony Brook)
15:05  Prop revisited: Propositional Formulas as Abstract Domain 
       for Groundness Analysis,
	Agostino Cortesi (Padova), Gilberto File (Padova),
	and William Winsborough (Penn State)
15:30  Constructive Negation for Constraint Logic Programming,
	Peter Stuckey (Melbourne)

BANQUET  at the Maritime Museum

SESSION 12.  9:30-10:45.  Chair: Masahiko Sato (Tohoku)
 9:30  Higher-Order Critical Pairs,
	Tobias Nipkow (Cambridge)
 9:55  Executable Higher-Order Algebraic Specification,
	Jean-Pierre Jouannaud (Paris XI) and Mitsuhiro Okada (Concordia)
10:20  Defaults and Revision in Structured Theories,
	Mark Ryan (Imperial College)

SESSION 13.  11:15-12:55.  Chair: Ursula Goltz (GMD)
11:15  Actions Speak Louder than Words: Proving Bisimilarity for 
       Context-Free Processes,
	Hans Huttel and Colin Stirling (Edinburgh)
11:40  On the Relationship between Process Algebra and Input/Output Automata,
	Frits Vaandrager (MIT)
12:05  A Compositional Proof System for Dynamic Process Creation,
	Frank de Boer (Eindhoven)
12:30  A Partial Approach to Model Checking,
	Patrice Godefroid and Pierre Wolper (Liege)


LICS General Chair: Albert R. Meyer
1991 Conference Co-Chairs: Jan Willem Klop and Roel de Vrijer
1991 Program Chair: Gilles Kahn
Publicity Chair: Daniel Leivant
Local Organizers: Mieke Brune and Frans Snijders

G. Kahn (chair), S. Abiteboul, S. Abramsky, K. Apt, J. Bergstra, 
V. Breazu-Tannen, S. Buss, R. Constable, P.-L. Curien, N. Dershowitz, 
P. Dybjer, U. Goltz, G. Longo, G. Mints, A. Pitts, S. Ronchi Della Rocca,
M. Sato, U. Shapiro, B. Steffen.

A. Meyer (chair), M. Abadi, J. Barwise, M. Blum, A. Chandra, 
R. Constable (chair elect), E. Engeler, J. Gallier, J. Goguen, 
Y. Gurevich, S. Hayashi, D. Johnson, G. Kahn, J.W. Klop, D. Kozen, 
D. Leivant, Z. Manna, G. Mints, J. Mitchell, Y. Moschovakis, 
R. Parikh, G. Plotkin, G. Rozenberg, D. Scott, J. Tiuryn, R. de Vrijer.