On this page:
Invited Speakers
- Harvey M. Friedman
Some Decision Problems of Enormous Complexity - Jean-Yves Girard
On the meaning of logical rules : ludics - Joseph Y. Halpern
Plausibility Measures and Default Reasoning: An Overview - Ugo Montanari
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus - Lawrence C. Paulson
Proving Security Protocols Correct
Invited Papers
- 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... - 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 FunMore Information... - Harish Devarajan Dominic J. D. Hughes Vaughan R. Pratt Gordon D. 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 P. Fiore Gian Luca Cattani Glynn Winskel
Weak Bisimulation and Open MapsMore Information... - Marcelo P. Fiore Gordon D. Plotkin Daniele Turi
Abstract Syntax and Variable BindingMore Information... - Murdoch Gabbay Andrew M. Pitts
A New Approach to Abstract Syntax Involving BindersMore Information... - Harald Ganzinger Christoph Meyer Margus Veanes
The Two-Variable Guarded Fragment with Transitive RelationsMore Information... - Harald Ganzinger Hans 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 Grädel 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... - Joseph Y. Halpern Richard A. Shore
Reasoning About Common Knowledge with Infinitely Many AgentsMore 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... - Jean-Pierre Jouannaud Albert Rubio
The Higher-Order Recursive Path OrderingMore Information... - Assaf J. Kfoury Santiago M. Pericás-Geertsen
Type Inference for Recursive DefinitionsMore Information... - Dexter C. 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 M. 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:Martín 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 (ENS) (chair); Vincent Danos (CNRS & Paris VII); Mitsuhiro Okada (Keio U.); Mariangiola Dezani-Ciancaglini (U. Torino); Martin Otto (RWTH Aachen); Roberto Di Cosmo (ENS, Paris); Edmund P. 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 J. van Glabbeek (Stanford U.); Scott Weinstein (U. Penn) Organizing CommitteeMartín Abadi; Marc Bezem; Wilfried Brauer; Edmund M. Clarke; Robert L. Constable; Nachum Dershowitz; Fausto Giunchiglia; Daniel Leivant; Leonid Libkin; Giuseppe Longo; Menachem Magidor; John C. Mitchell (chair); Eugenio Moggi; Vaughan R. Pratt; Jon G. Riecke; Simona Ronchi della Rocca; Mark E. Stickel; Jerzy Tiuryn; Moshe Y. Vardi; Jeffrey S. Vitter; Glynn Winskel Advisory BoardMartín Abadi; Serge Abiteboul; Samson Abramsky; Mariangiola Dezani-Ciancaglini; Joseph Y. Halpern; Russell Impagliazzo; Dexter C. Kozen; Leszek Pacholski; Andre Scedrov; Dana S. Scott; Jeannette M. Wing |