On this page:
Invited Speakers
- Samson Abramsky
Linear logic - Vaughan R. Pratt
Origins of the calculus of binary relations - Jeannette M. Wing
Specifications in software development
Invited Papers
- Vaughan R. Pratt
Origins of the calculus of binary relationsMore Information... - Jeannette M. Wing
Specifications in software developmentMore Information...
Presented Papers
Entries are ordered by surname of first author
- Samson Abramsky Radha Jagadeesan
New foundations for the geometry of interactionMore Information... - Luca Aceto Bard Bloom Fritz W. Vaandrager
Turning SOS rules into equationsMore Information... - Alexander Aiken Edward L. Wimmers
Solving systems of set constraintsMore Information... - Didier Caucal
Monadic theory of term rewritingsMore Information... - Peter Clote
Cutting planes and constant depth Frege proofsMore Information... - Hubert Comon-Lundh Marianne Haberstrau Jean-Pierre Jouannaud
Decidable problems in shallow equational theoriesMore Information... - Pierre-Louis Curien
Observable algorithms on concrete data structuresMore Information... - Frank S. de Boer Jan Willem Klop Catuscia Palamidessi
Asynchronous communication in process algebraMore Information... - Ugo de'Liguoro Adolfo Piperno Richard Statman
Retracts in simply type λβη-calculusMore Information... - Gilles Dowek
Third order matching is decidableMore Information... - Peter J. Freyd Edmund P. Robinson Giuseppe Rosolini
Functional parametricityMore Information... - Laurent Fribourg
Mixing list recursion and arithmeticMore Information... - Herman Geuvers
The Church-Rosser property for βη-reduction in typed λ-calculi More Information... - Georges Gonthier Jean-Jacques Lévy Paul-André Melliès
An abstract standardisation theoremMore Information... - Georges Gonthier Martín Abadi Jean-Jacques Lévy
Linear logic without boxesMore Information... - Erich Grädel Gregory L. McColm
Deterministic vs. nondeterministic transitive closure logicMore Information... - Adam J. Grove Joseph Y. Halpern Daphne Koller
Random worlds and maximum entropyMore Information... - Joseph Y. Halpern Bruce M. Kapron
Zero-one laws for modal logicMore Information... - John Hannan Frank Pfenning
Compiler verification in LFMore Information... - Nevin Heintze Joxan Jaffar
An engine for logic program analysisMore Information... - Lauri Hella
Logical hierarchies in PTIMEMore Information... - Thomas A. Henzinger Xavier Nicollin Joseph Sifakis Sergio Yovine
Symbolic model checking for real-time systemsMore Information... - Thomas P. Jensen
Disjunctive strictness analysisMore Information... - Max I. Kanovich
Horn programming in linear logic is NP-completeMore Information... - Deepak Kapur Paliath Narendran
Double-exponential complexity of computing a complete set of AC-unifiers More Information... - Nils Klarlund
Progress measures, immediate determinacy, and a subset construction for tree automata More Information... - Phokion G. Kolaitis Moshe Y. Vardi
Fixpoint logic vs. infinitary logic in finite-model theoryMore Information... - Phokion G. Kolaitis Jouko A. Väänänen
Generalized quantifiers and pebble games on finite structuresMore Information... - Patrick Lincoln John C. Mitchell
Operational aspects of linear lambda calculusMore Information... - Ian A. Mason Carolyn L. Talcott
References, local variables and operational reasoningMore Information... - Chetan R. Murthy
A computational analysis of Girard's translation and LCMore Information... - Hiroshi Nakano
A constructive formalization of the catch and throw mechanismMore Information... - Davide Sangiorgi
The lazy lambda calculus in a concurrency scenarioMore Information... - Vijay A. Saraswat
The category of constraint systems is Cartesian-closedMore Information... - Grigori Schwarz
Minimal model semantics for nonmonotonic modal logicsMore Information... - Anil Seth
There is no recursive axiomatization for feasible functionals of type 2 More Information... - Eugene W. Stark
A calculus of dataflow networksMore Information... - Alexei P. Stolboushkin
Axiomatizable classes of finite models and definability of linear order More Information... - Jean-Pierre Talpin Pierre Jouvelot
The type and effect disciplineMore Information... - Jerzy Tiuryn
Subtype inequalitiesMore Information... - Yoshihito Toyama
Strong sequentiality of left-linear overlapping term rewriting systems More Information... - Irek Ulidowski
Equivalences on observable processesMore Information...
Organizers
General ChairProf. Robert L. Constable Program ChairAndre Scedrov Conference ChairProf. Phokion G. Kolaitis Publicity ChairProf. Daniel Leivant |
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 CommitteeMartí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 |