On this page:
Invited Speakers
- Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge RepresentationMore Information... - Stephen Cook:
Complexity Classes, Propositional Proof Systems, and Formal TheoriesMore Information... - Georg Gottlob Christoph Koch:
Monadic Queries over Tree-Structured DataMore Information... - John Reynolds:
A Logic for Shared Mutable Data StructuresMore Information... - Natarajan Shankar:
Little Engines of ProofMore Information...
Presented Papers
Entries are ordered by surname of first author
- Amal J. Ahmed Andrew W. Appel Roberto Virga:
A Stratified Semantics of General References Embeddable in Higher-Order LogicMore Information... - Albert Atserias:
Unsatisfiable Random Formulas are Hard to CertifyMore Information... - Michael Benedikt Leonid Libkin:
Tree Extension Algebras: Logics, Automata, and Query LanguagesMore Information... - Edmund Clarke Somesh Jha Yuan Lu Helmut Veith:
Tree-like Counterexamples in Model CheckingMore Information... - Josee Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden:
The Metric Analogue of Weak Bisimulation for Probabilistic ProcessesMore Information... - Catalin Dima:
Computing reachability relations in timed automataMore Information... - Abbas Edalat Andre Lieutier:
Domain Theory and Differential Caluculus (Functions of one variable)More Information... - Marco Faella Salvatore La Torre Aniello Murano:
Dense Real-time GamesMore Information... - Marcelo Fiore Roberto Di Cosmo Vincent Balat:
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum TypesMore Information... - Markus Frick Martin Grohe:
The complexity of first-order and monadic second-order logic revisitedMore Information... - Alain Frisch Giuseppe Castagna Véronique Benzaken:
Semantic subtypingMore Information... - Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying CodeMore Information... - William Hesse Neil Immerman:
Complete problems for Dynamic Complexity ClassesMore Information... - Daniel Hirschkoff
Etienne Lozes Davide Sangiorgi:
Separability, expressiveness, and decidability in the Ambient LogicMore Information... - Ian Hodkinson Frank Wolter Michael Zakharyaschev:
Decidable and undecidable fragments of first-order branching temporal logicsMore Information... - Martin Hyland Andrea Schalk:
Games on Graphs and Sequentially Realizable FunctionalsMore Information... - Hajime Ishihara Bakhadyr Khoussainov Sasha Rubin:
Some Results on Automatic StructuresMore Information... - Alan Jeffrey Julian Rathke:
A fully abstract may testing semantics for concurrent objectsMore Information... - Stephan Kreutzer:
Expressive Equivalence of Least and Inflationary Fixed-Point LogicMore Information... - Sophie Laplante Richard Lassaigne Frederic Magniez Sylvain Peyronnet Michel de Rougemont:
Probabilistic abstraction for model checking: An approach based on property testingMore Information... - François Laroussinie Nicolas Markey Philippe Schnoebelen:
Temporal Logic with Forgettable PastMore Information... - Olivier LAURENT:
Polarized gamesMore Information... - Jean-Marie Le Bars:
The 0-1 law fails for frame satisfiability of propositional modal logicMore Information... - Daniel Leivant:
Calibrating computational feasibility by abstraction rankMore Information... - Christopher Lynch Barbara Morawska:
Automatic DecidabilityMore Information... - Mikkel Nygaard Hansen Glynn Winskel:
Linearity in Distributed ComputationMore Information... - C.-H. L. Ong:
Observational equivalence of 3rd-order Idealized Algol is decidableMore Information... - Martin Otto:
Modal and guarded characterisation theorems over finite transition systemsMore Information... - Jens Palsberg Tian Zhao:
Efficient Type Inference for Record Concatenation and SubtypingMore Information... - Thomas Reps Alexey Loginov Mooly Sagiv:
Semantic Minimization of 3-Valued Propositional FormulaeMore Information... - Bernhard Reus Thomas Streicher:
Semantics and Logic of Object CalculiMore Information... - Alex Simpson:
Computational Adequacy for Recursive Types in Models of Intuitionistic Set TheoryMore Information... - Michael Soltys Stephen Cook:
The Proof Complexity of Linear AlgebraMore Information... - Richard Statman:
On the lambda Y calculusMore Information... - Ashish Tiwari:
Deciding Confluence of Certain Term Rewriting Systems in Polynomial TimeMore Information... - Daniele Varacca:
The powerdomain of indexed valuationsMore Information...
Short Presentations
Entries are ordered by surname of first author
- E. Beffara S. Vorobyov:
Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial?More Information... - H. Björklund S. Vorobyov:
Two Adversary Lower Bounds for Parity GamesMore Information... - E. Covino G. Pani:
Time-Space Computational Complexity of Imperative Programming LanguagesMore Information... - C. Faggian:
Ludics Dynamics: Designs and Interactive ObservabilityMore Information... - J. Ford I. A. Mason N. Shankar:
Lessons Learned from Formal Developments in PVSMore Information... - J. C. Godskesen T. Hildebrandt V. Sassone:
An Overview of MR, a Calculus of Mobile ResourcesMore Information... - S. Soliman:
CLP Implementation of a Phase Model CheckerMore Information...
Organizers
General ChairSamson Abramsky Program ChairGordon Plotkin Conference ChairUlrich Kohlenbach Publicity ChairMartin Grohe |
Program Committee:Franz Baader (RWTH Aachen); Marco Cadoli (U. di Roma "La Sapienza"); Vincent Danos (CNRS); Anuj Dawar (U. of Cambridge); Rocco De Nicola (U. degli Studi di Firenze); Harald Ganzinger (MPI für Informatik); Orna Grumberg (Technion); Robert Harper (Carnegie Mellon University); Furio Honsell (University of Udine); Phokion Kolaitis (UC Santa Cruz); Johann A. Makowsky (Technion); Oded Maler (CNRS-Vérimag); Yoram Moses (Technion); Robert Nieuwenhuis (UPC); Peter O'Hearn (Queen Mary); Doron A. Peled (Bell Laboratories); Benjamin C. Pierce (U. of Pennsylvania); Andrew Pitts (U. of Cambridge); Gordon Plotkin (U. of Edinburgh) (chair); Andreas Podelski (MPI für Informatik); Andre Scedrov (U. of Pennsylvania); Peter Thiemann (U. Freiburg); Andrei Voronkov (U. of Manchester) Organizing CommitteeM. Abadi; S. Abramsky (chair); A. Aggarwal; M. Bezem; E. Clarke; R. Constable; N. Dershowitz; J. Diaz; H. Ganzinger; F. Giunchiglia; M. Grohe; J. Halpern; D. Leivant; L. Libkin; G. Longo; D.A. Martin; J. Mitchell; E. Moggi; G. Plotkin; V. Pratt; J. Riecke; S. Ronchi della Rocca; J. Tiuryn; M.Y. Vardi; J. Vitter; G. Winskel Advisory BoardM. Abadi; S. Abiteboul; M. Dezani; J. Halpern; R. Impagliazzo; D. Kozen; L. Pacholski; A. Scedrov; D. Scott; J. Wing |