On this page:
Invited Speakers
- Samson Abramsky:
High-Level Methods for Quantum Computation and InformationMore Information... - Robert Harper:
Self-Adjusting ComputationMore Information... - Alexander A. Razborov:
Feasible Proofs and Computations: Partnership and FusionMore Information... - Davide Sangiorgi:
Bisimulation: From The Origins to TodayMore Information... - Igor Walukiewicz:
A Landscape with Games in the BackgroundMore Information... - Mihalis Yannakakis:
Testing, Optimizaton, and GamesMore Information...
Presented Papers
Entries are ordered by surname of first author
- Parosh Aziz Abdulla Johann Deneux Pritha Mahata:
Multi-Clock Timed NetworksMore Information... - S. Abramsky D. R. Ghica A. S. Murawski C.-H. L. Ong I. D. B. Stark:
Nominal Games and Full Abstraction for the Nu-CalculusMore Information... - Samson Abramsky Bob Coecke:
A Categorical Semantics of Quantum ProtocolsMore Information... - Yohji Akama Stefano Berardi Susumu Hayashi Ulrich Kohlenbach:
An Arithmetical Hierarchy of the Law of Excluded Middle and Related PrinciplesMore Information... - Luca de Alfaro Patrice Godefroid Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with PrecisionMore Information... - Patrick Baillot Kazushige Terui:
Light Types for Polynomial Time Computation in Lambda-CalculusMore Information... - Michael Baldamus Joachim Parrow Victor Victor:
Spi Calculus Translated to π--Calculus Preserving May-TestsMore Information... - Ulrich Berger:
A Computational Interpretation of Open InductionMore Information... - Antonio Bucciarelli Antonino Salibra:
The Sensible Graph Theories of Lambda CalculusMore Information... - Andrei A. Bulatov:
A Graph of a Relational Structure and Constraint Satisfaction ProblemsMore Information... - Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdzinski:
Games with Secure EquilibriaMore Information... - Stephen Cook Neil Thapen:
The Strength of Replacement in Weak ArithmeticMore Information... - Stephen Cook Antonina Kolokolova:
A Second-Order Theory for NLMore Information... - Victor Dalmau Andrei Krokhin Benoit Larose:
First-Order Definable Retraction Problems for Posets and Reflexive GraphsMore Information... - Dennis Dams Kedar S. Namjoshi:
The Existence of Finite Abstractions for Branching Time Model CheckingMore Information... - Philippe de Groote Bruno Guillaume Sylvain Salvati:
Vector Addition Tree AutomataMore Information... - Brian Dunphy Uday S. Reddy:
Parametric LimitsMore Information... - Javier Esparza Antonin Kucera Richard Mayr:
Model Checking Probabilistic Pushdown AutomataMore Information... - Jörg Flum Martin Grohe:
Model-Checking Problems as a Basis for Parameterized IntractabilityMore Information... - Carsten Fuhrmann David Pym:
On the Geometry of Interaction for Classical LogicMore Information... - Murdoch Gabbay James Cheney:
A Sequent Calculus for Nominal LogicMore Information... - Martin Grohe Nicole Schweikardt:
The Succinctness of First-Order Logic on Linear OrdersMore Information... - Michael Huth:
Beyond Image-Finiteness: Labelled Transition Systems as a Stone SpaceMore Information... - Benedetto Intrigila Richard Statman:
The Omega Rule is II_2^0-Hard in the λβ-CalculusMore Information... - Bakhadyr Khoussainov Andre Nies Sasha Rubin Frank Stephan:
Automatic Structures: Richness and LimitationsMore Information... - Felix Klaedtke:
On the Automata Size for Presburger ArithmeticMore Information... - Louis Latour:
From Automata to Formulas: Convex Integer PolyhedraMore Information... - Daniel Leivant:
Proving Termination Assertions in Dynamic LogicsMore Information... - Kerkko Luosto:
Equicardinality on Linear OrdersMore Information... - J. Raymundo Marcial-Romero Martin H. Escardo:
Semantics of a Sequential Language for Exact Real-Number ComputationMore Information... - MohammadReza Mousavi Michel Reniers Jan Friso Groote:
Congruence for SOS with DataMore Information... - Tom Murphy VII Karl Crary Robert Harper Frank Pfenning:
A Symmetric Modal Lambda Calculus for Distributed ComputingMore Information... - David A. Naumann Mike Barnett:
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable StateMore Information... - Phuong Nguyen Stephen Cook:
VTC⁰: A Second-Order Theory for TC⁰More Information... - Gustav Nordh Peter Jonsson:
An Algebraic Approach to the Complexity of Propositional CircumscriptionMore Information... - Joel Ouaknine James Worrell:
On the Language Inclusion Problem for Timed Automata: Closing a Decidability GapMore Information... - Andreas Podelski Andrey Rybalchenko:
Transition InvariantsMore Information... - Sanjit A. Seshia Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution BoundsMore Information... - Kazushige Terui:
Proof Nets and Boolean CircuitsMore Information... - Stefan Wohrle Wolfgang Thomas:
Model Checking Synchronized Products of Infinite Transition SystemsMore Information...
Short Presentations
Entries are ordered by surname of first author
- M. Couceiro S. Foldes:
On Definability of Function Classes by Relational Constraints and Corresponding Galois ConnectionsMore Information... - U. Dal Lago:
The Geometry of Linear Ramified RecurrenceMore Information... - A. Dawar L. Hella M. Suonio:
On Abiteboul-Vianu Theorem for Fixed-Point Logics with Generalized QuantifiersMore Information... - C. Faggian F. Maurel:
Ludics on Graphs. Towards ConcurrencyMore Information... - R. McKinley:
Categorical Models of First-Order Classical Sequent ProofsMore Information... - A.-V. Pietarinen:
Epistemic Logics of Imperfect Information for Multi-agent CommunicationMore Information... - A. Saurin:
Separation and the Lambdamu-CalculusMore Information... - R. Villemaire:
Lazy Structure Preserving Translation of Boolean Expressions into CNFMore Information...
Organizers
General ChairPhokion G. Kolaitis (University of California at Santa Cruz) Program ChairHarald Ganzinger (MPI, Saarbruecken) Conference ChairLauri Hella (University of Tampere) Publicity ChairAlex Simpson (University of Edinburgh) Workshops ChairPhil Scott (University of Ottawa) |
Program Committee:Rajeev Alur (University of Pennsylvania); Andrew Appel (Princeton University); Albert Atserias (UPC, Barcelona); Franz Baader (Dresden University); Samuel Buss (University of California, San Diego); Roberto Di Cosmo (Universite de Paris VII); Gilles Dowek (Ecole Polytechnique, Paris); Harald Ganzinger (MPI, Saarbruecken) (chair); Martin Hofmann (LMU Muenchen); Achim Jung (University of Birmingham); Kim Larsen (Aalborg University); Leonid Libkin (University of Toronto); Rocco de Nicola (Università di Firenze); Damian Niwinski (Warsaw University); Prakash Panangaden (McGill University, Montreal); Albert Rubio (UPC, Barcelona); Vitaly Shmatikov (SRI International); Moshe Vardi (Rice University, Houston); Helmut Veith (TU Wien); Andrei Voronkov (University of Manchester) Organizing CommitteeS. Abramsky; A. Broder; E. Clarke; A. Felty; U. Furbach; H. Gabow; H. Ganzinger; J. Halpern; L. Hella; U. Kohlenbach; P. Kolaitis (chair); H. Mairson; A. Middeldorp; J. Mitchell; M. Nielsen; P. Panangaden; G. Plotkin; P. Scott; R. Shore; A. Simpson; I.A. Stewart Advisory BoardR. Constable; Y. Gurevich; C. Kirchner; D. Kozen; U. Martin; A. Meyer; L. Pacholski; V. Pratt; A. Scedrov; M.Y. Vardi; G. Winskel |