On this page:
Invited Speakers
- Roberto Bruni Ugo Montanari:
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-CalculusMore Information... - Harvey M. Friedman:
Some Decision Problems of Enormous ComplexityMore Information... - Nir Friedman Joseph Y. Halpern:
Plausibility Measures and Default Reasoning: An OverviewMore Information... - Joseph Y. Halpern Richard A. Shore:
Reasoning About Common Knowledge with Infinitely Many AgentsMore Information... - Lawrence C. Paulson:
Proving Security Protocols CorrectMore Information...
Presented Papers
Entries are ordered by surname of first author
- Samson Abramsky Paul-André Melliès:
Concurrent Games and Full CompletenessMore Information... - Thorsten Altenkirch:
Extensional Equality in Intensional Type TheoryMore Information... - Albert Atserias Phokion G. Kolaitis:
First-Order Logic vs. Fixed-Point Logic in Finite Set TheoryMore Information... - Anindya Banerjee Nevin Heintze Jon G. Riecke:
Region Analysis and the Polymorphic Lambda CalculusMore Information... - Augustin Baziramwabo Pierre McKenzie Denis Thérien:
Modular Temporal LogicMore Information... - Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio:
Paramodulation with Non-Monotonic OrderingsMore Information... - Michele Boreale Rocco de Nicola Rosario Pugliese:
Proof Techniques for Cryptographic ProcessesMore Information... - Antonio Bucciarelli Silvia de Lorenzis Adolfo Piperno Ivano Salvo:
Some Computational Properties of Intersection TypesMore Information... - Serenella Cerrito Delia Kesner:
Pattern Matching as Cut EliminationMore Information... - Dario Colazzo Giorgio Ghelli:
Subtyping Recursive Types in Kernel Fun - AbstractMore Information... - Harish Devarajan Dominic Hughes Vaughan Pratt Gordon Plotkin:
Full Completeness of the Multiplicative Linear Logic of Chu SpacesMore Information... - Sophia Drossopoulou Susan Eisenbach David Wragg:
A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary CompatibilityMore Information... - E. Allen Emerson Richard J. Trefler:
Parametric Quantitative Temporal ReasoningMore Information... - Javier Esparza Alain Finkel Richard Mayr:
On the Verification of Broadcast ProtocolsMore Information... - Marcelo Fiore Gian Luca Cattani Glynn Winskel:
Weak Bisimulation and Open MapsMore Information... - Marcelo Fiore Gordon Plotkin Daniele Turi:
Abstract Syntax and Variable BindingMore Information... - Murdoch Gabbay Andrew Pitts:
A New Approach to Abstract Syntax Involving BindersMore Information... - H. Ganzinger C. Meyer M. Veanes:
The Two-Variable Guarded Fragment with Transitive RelationsMore Information... - H. Ganzinger H. de Nivelle:
A Superposition Decision Procedure for the Guarded Fragment with EqualityMore Information... - Georg Gottlob Reinhard Pichler:
Working with Arms: Complexity Results on Atomic Representations of Herbrand ModelsMore Information... - Erich Gradel Eric Rosen:
Two-Variable Descriptions of RegularityMore Information... - Erich Grädel Igor Walukiewicz:
Guarded Fixed Point LogicMore Information... - Stefano Guerrini:
Correctness of Multiplicative Proof Nets is LinearMore Information... - Russell Harmer Guy McCusker:
A Fully Abstract Game Semantics for Finite NondeterminismMore Information... - Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong:
Logics with Aggregate OperatorsMore Information... - Martin Hofmann:
Semantical Analysis of Higher-Order Abstract SyntaxMore Information... - Martin Hofmann:
Linear Types and Non Size-Increasing Polynomial Time ComputationMore Information... - Mark W. Hopkins Dexter C. Kozen:
Parikh's Theorem in Commutative Kleene AlgebraMore Information... - Alan Jeffrey Julian Rathke:
Towards a Theory of Bisimulation for Local NamesMore Information... - Jan Johannsen:
Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class KMore Information... - J.-P. Jouannaud A. Rubio:
The Higher-Order Recursive Path OrderingMore Information... - Assaf J. Kfoury Santiago M. Pericas-Geertsen:
Type Inference for Recursive DefinitionsMore Information... - Dexter Kozen:
On Hoare Logic and Kleene Algebra with TestsMore Information... - Leonid Libkin:
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant QueriesMore Information... - Pasquale Malacaria Chris Hankin:
Non-Deterministic Games and Program Analysis: An Application to SecurityMore Information... - Michael Marz Alexander Rohr Thomas Streicher:
Full Abstraction and Universality via RealisabilityMore Information... - Faron Moller Alexander Rabinovich:
On the Expressive Power of CTLMore Information... - Joachim Niehren Martin Müller Jean-Marc Talbot:
Entailment of Atomic Set Constraints is PSPACE-CompleteMore Information... - David J. Pym:
On Bunched Predicate LogicMore Information... - Matthias Ruhl:
Counting and Addition cannot Express Deterministic Transitive ClosureMore Information... - Alex K. Simpson:
Elementary Axioms for Categories of ClassesMore Information...
Organizers
General ChairJohn C. Mitchell Program ChairGiuseppe Longo Conference ChairEugenio Moggi Simona Ronchi della Rocca Publicity ChairLeonid Libkin |
Program Committee:Martin Abadi (DEC SRC); Martin Grohe (U. Freiburg); Rajeev Alur (U. Penn); Nils Klarlund (AT&T Labs); Luigia C. Aiello (U. Roma); Giorgio Levi (U. Pisa); Andrea Asperti (U. Bologna); Giuseppe Longo (chair) (ENS); Vincent Danos (CNRS & Paris VII); Mitsuhiro Okada (Keio U.); Mariangiola Dezani (U. Torino); Martin Otto (RWTH Aachen); Roberto Di Cosmo, ENS (Paris); Edmund Robinson (Queen Mary); Gilles Dowek (INRIA); Davide Sangiorgi (INRIA); Abbas Edalat (Imperial College); Amilcar Sernadas, IST (Lisboa); Thomas Ehrhard, CNRS (Marseille); Natarajan Shankar (SRI); Melvin Fitting (CUNY); Wolfgang Thomas (RWTH Aachen); Rob van Glabbeek (Stanford U.); Scott Weinstein (U. Penn) Organizing CommitteeA. Aggarwal; M. Bezem; W. Brauer; E. Clarke; R. Constable; N. Dershowitz; F. Giunchiglia; D. Leivant; L. Libkin; G. Longo; M. Magidor; J. Mitchell (chair); E. Moggi; V. Pratt; J. Riecke; S. Ronchi della Rocca; M. Stickel; J. Tiuryn; M.Y. Vardi; J. Vitter; G. Winskel Advisory BoardM. Abadi; S. Abiteboul; S. Abramsky; M. Dezani; J. Halpern; R. Impagliazzo; D. Kozen; L. Pacholski; A. Scedrov; D. Scott; J. Wing |