On this page:
Invited Speakers
- Henk Barendregt:
Results and Problems Related to Proof CheckingMore Information... - Gerard Berry:
The Semantics of Synchronous Concurrent LanguagesMore Information... - Corrado Boehm:
An Algebraic View of the Lambda-CalculusMore Information... - Rod Burstall:
Terms, proofs and refinementMore Information... - Ed Clarke:
Automatic verification of finite-state concurrent systemsMore Information...
Presented Papers
Entries are ordered by surname of first author
- Martin Abadi Luca Cardelli:
A semantics of object typesMore Information... - Serge Abiteboul Christos Papadimitrou Victor Vianu:
The power of reflective relational machinesMore Information... - Rajeev Alur Thomas Henzinger:
Finitary fairnessMore Information... - Henrik Reif Andersen Colin Stirling Glynn Winskel:
A compositional proof system for the modal μ-calculusMore Information... - Ofer Arieli Arnon Avron:
Logical bilattices and inconsistent dataMore Information... - Zena Ariola Jan Willem Klop:
Cyclic lambda graph rewritingMore Information... - Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier:
Paths in the lambda-calculus. Three years of communications without understanding More Information... - Matthias Baaz Christian Fermuller Alexander Leitsch:
A non-elementary speed-up in proof length by structural clause form transformation More Information... - Leo Bachmair Harald Ganzinger:
Rewrite techniques for transitive relationsMore Information... - Franco Barbanera Maribel Fernandez Herman Geuvers:
Modularity of strong normalization and confluence in the algebraic-λ-cube More Information... - Shai Ben-David Rachel Ben-Eliyahu:
A modal logic for subjective default reasoningMore Information... - Antonio Brogi Franco Turini:
Semantics of meta-logic in an algebra of programsMore Information... - Carolyn Brown Graham Hutton:
Categories, allegories and circuit designMore Information... - Edward Chang Zohar Manna Amir Pnueli:
Compositional verification of real-time systemsMore Information... - Witold Charatonik Leszek Pacholski:
Negative set constraints with equalityMore Information... - Loïc Colson Thomas Ehrhard:
On strong stability and higher-order sequentialityMore Information... - Anuj Dawar Lauri Hella:
The expressive power of finitely many generalized quantifiersMore Information... - Abbas Edalat:
Domain theory and integrationMore Information... - Marcelo Fiore Gordon Plotkin:
An axiomatisation of computationally adequate domain theoretic models of FPC More Information... - Herman Geuvers Benjamin Werner:
On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study More Information... - Jean Goubault:
Rigid E-unifiability is DEXPTIME-completeMore Information... - Yuri Gurevich Neil Immerman Saharon Shelah:
McColm's conjecture [positive elementary inductions]More Information... - Lauri Hella Phokion Kolaitis Kerkko Luosto:
How to define a linear order on finite modelsMore Information... - Edith Hemaspaandra:
Complexity transfer for modal logicMore Information... - Martin Hofmann Thomas Streicher:
The groupoid model refutes uniqueness of identity proofsMore Information... - Michael Huth Achim Jung Klaus Keimel:
Linear types, approximation, and topologyMore Information... - Russell Impagliazzo Toniann Pitassi Alasdair Urquhart:
Upper and lower bounds for tree-like cutting planes proofsMore Information... - Alan Jeffrey:
A fully abstract semantics for concurrent graph reductionMore Information... - Patrick Lincoln N. Shankar:
Proof search in first-order linear logic and other cut-free sequent calculi More Information... - Ralph Loader:
Linear logic, totality and full completenessMore Information... - Claude Marché:
Normalised rewriting and normalised completionMore Information... - J. Antonio Medina Neil Immerman:
A syntactic characterization of NP-completenessMore Information... - Dale Miller:
A multiple-conclusion meta-logicMore Information... - Eugenio Moggi:
A general semantics for Evaluation LogicMore Information... - Martin Otto:
Generalized quantifiers for simple propertiesMore Information... - Jens Palsberg:
Efficient inference of object typesMore Information... - Mati Pentus:
Language completeness of the Lambek calculusMore Information... - Adolfo Piperno Simona Ronchi della Rocca:
Type inference and extensionalityMore Information... - Gordon Plotkin Martin Abadi Luca Cardelli:
Subtyping and parametricityMore Information... - Christian Prehofer:
Higher-order narrowingMore Information... - Uday Reddy:
Passivity and independenceMore Information... - Edmund Robinson Giuseppe Rosolini:
Reflexive graphs and parametric polymorphismMore Information... - Vijay Saraswat Radha Jagadeesan Vineet Gupta:
Foundations of timed concurrent constraint programmingMore Information... - Peter Sewell:
Bisimulation is not finitely (first order) equationally axiomatisable More Information... - Robert Stark:
The declarative semantics of the Prolog selection ruleMore Information... - Kjartan Stefansson:
Systems of set constraints with negative constraints are NEXPTIME-complete More Information... - P. S. Thiagarajan:
A trace based extension of linear time temporal logicMore Information... - Pawel Urzyczyn:
The emptiness problem for intersection typesMore Information... - Ron Van Der Meyden:
Axioms for knowledge and time in distributed systems with perfect recall More Information... - J. B. Wells:
Typability and type checking in the second-order λ-calculus are equivalent and undecidable More Information... - Shipei Zhang Oleg Sokolsky Scott Smolka:
On the parallel complexity of model checking in the modal mu-calculus More Information...
Organizers
General ChairRobert L. Constable Program ChairSamson Abramsky Conference ChairGerard Huet Jean-Pierre Jouannaud Publicity ChairAmy Felty Douglas Howe |
Program Committee:S. Abramsky (Imperial Coll.); J.-J. Levy (INRIA); K. Apt (CWI); D. McAllester (MIT); H. Ganzinger (MPI Saarbrucken); P. Panangaden (McGill); C. Gunter (Univ. of Pennsylvania); F. Pfenning (CMU); A. Jung (Darmstadt); V. Pratt (Stanford); P. Kannelakis (Brown); P. Schroeder-Heister (Tubingen); D. Kozen (Cornell); C. Stirling (Edinburgh); D. Leivant (Indiana); G. Winskel (Aarhus) Organizing CommitteeM. Abadi; S. Abramsky; S. Artemov; A. Borodin; A. Bundy; S. Buss; E. Clarke; R. Constable; A. Felty; U. Goltz; Y. Gurevich; S. Hayashi; D. Howe; G. Huet; J.-P. Jouannaud; D. Kapur; C. Kirchner; P. Kolatis; R. Kosaraju; D. Kozen; D. Leivant; A. R. Meyer; D. Miller; J. Mitchell; Y. Moschovakis; M. Okada; P. Panagaden; A. Pitts; G. Plotkin; J. Remmel; S. Ronchi della Rocca; G. Rozenberg; A. Scedrov; D. Scott; J. Tiuryn; M. Y. Vardi |