On this page:
Invited Speakers
- Andrew W. Appel:
Foundational Proof-Carrying CodeMore Information... - Satyaki Das David L. Dill:
Successive Approximation of Abstract Transition RelationsMore Information... - Yuri Gurevich:
Logician in the Land of OS: Abstract State Machines in MicrosoftMore Information... - J. Mitchell A. Ramanathan V. Teague A. Scedrov:
Probabilistic Polynomial-Time Process Calculus and Security Protocol AnalysisMore Information... - Wolfgang Thomas:
The Engineering Challenge for LogicMore Information...
Presented Papers
Entries are ordered by surname of first author
- Serge Abiteboul:
Semistructured Data: From Practice to TheoryMore Information... - Micah Adler Neil Immerman:
An n! Lower Bound on Formula SizeMore Information... - Luca de Alfaro Thomas A. Henzinger Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular ObjectivesMore Information... - Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu:
Typechecking XML Views of Relational DatabasesMore Information... - Thorsten Altenkirch Peter Dybjer Martin Hofmann Philip Scott:
Normalization by Evaluation for Typed Lambda Calculus with CoproductsMore Information... - Rajeev Alur Salvatore La Torre:
Deterministic Generators and Games for LTL FragmentsMore Information... - Eugene Asarin Ahmed Bouajjani:
Perturbed Turing Machines and Hybrid SystemsMore Information... - Jeremy Avigad:
Eliminating Definitions and Skolem Functions in First-Order LogicMore Information... - David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien:
The Crane Beach ConjectureMore Information... - Michael Benedikt Leonid Libkin Thomas Schwentick Luc Segoufin:
A Model-Theoretic Approach to Regular String RelationsMore Information... - Frédéric Blanqui:
Definitions by Rewriting in the Calculus of ConstructionsMore Information... - Ahmed Bouajjani Anca Muscholl Tayssir Touili:
Permutation Rewriting and Algorithmic VerificationMore Information... - Glenn Bruns Patrice Godefroid:
Temporal Logic Query CheckingMore Information... - Stephen Cook Antonina Kolokolova:
A Second-Order System for Polytime Reasoning Using Grädel's TheoremMore Information... - Martín H. Escardó Alex K. Simpson:
A Universal Characterization of the Closed Euclidean IntervalMore Information... - Marcelo Fiore Daniele Turi:
Semantics of Name and Value PassingMore Information... - Harald Ganzinger:
Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word ProblemsMore Information... - Guillem Godoy Robert Nieuwenhuis:
On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and GroupsMore Information... - Taneli Huuskonen Tapani Hyttinen:
On Definability of Order in Logic with ChoiceMore Information... - David Janin Giacomo Lenzi:
Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic HierarchyMore Information... - Alan Jeffrey:
A Symbolic Labelled Transition System for Coinductive Subtyping of F_{\mu\leq} TypesMore Information... - Lefteris M. Kirousis Phokion G. Kolatitis:
A Dichotomy in the Complexity of Propositional CircumscriptionMore Information... - Dexter Kozen Jerzy Tiuryn:
Intuitionistic Linear Logic and Partial CorrectnessMore Information... - Orna Kupferman Moshe Y. Vardi:
Synthesizing Distributed SystemsMore Information... - J. Laird:
A Fully Abstract Game Semantics of Local ExceptionsMore Information... - Martin Lange Colin Stirling:
Focus Games for Satisfiability and Completeness of Temporal LogicMore Information... - Giacomo Lenzi Andre Arnold Jerzy Marcinkowski:
The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary TreeMore Information... - Panagiotis Manolios Richard Trefler:
Safety and Liveness in Branching TimeMore Information... - Frank Pfenning:
Intensionality, Extensionality, and Proof Irrelevance in Modal Type TheoryMore Information... - Harald Rueß Natarajan Shankar:
Deconstructing ShostakMore Information... - Antonino Salibra:
A Continuum of Theories of Lambda Calculus without SemanticsMore Information... - Scott D. Stoller:
A Bound on Attacks on Payment ProtocolsMore Information... - Aaron Stump Clark W. Barrett David L. Dill Jeremy Levitt:
A Decision Procedure for an Extensional Theory of ArraysMore Information... - Wieslaw Szwast Lidia Tendera:
On the Decision Problem for the Guarded Fragment with TransitivityMore Information... - Hongwei Xi:
Dependent Types for Program Termination VerificationMore Information...
Short Presentations
Entries are ordered by surname of first author
- C. Areces P. Blackburn M. Marx:
Repairing the Interpolation Theorem in First-Order Modal LogicMore Information... - L. Bauer M. Schneider E. Felten:
A proof-Carrying Authorization SystemMore Information... - M. Bodirsky M. Gaertner T. von Oertzen J. Schwinghammer:
Computing the Density of Regular LanguagesMore Information... - E. Covino G. Pani:
Recursive Programming Languages for Complexity ClassesMore Information... - A. Hayrapetyan R. Verma:
On the Complexity of Confluence for Ground Rewrite SystemsMore Information... - I. Kiringa D. Willard:
Self-Verifying Systems, the Incompleteness Theorem and the Tangibility Reflection PrincipleMore Information... - I. Kiringa:
A Theory of Advanced Transactions in the Situation CalculusMore Information... - U. Kohlenbach:
Recent Progress in Proof MiningMore Information... - S. Lindell I. Cervesato:
The Dolev-Yaho Intruder is the Most Powerful AttackerMore Information... - S. Lindell:
Finite Visit Sequential Deterministic Tree AutomataMore Information... - I. Lynce J. Marques-Silva:
Integrating Simplification Techniques in SAT AlgorithmsMore Information... - C. Lynch C. Scharff:
Basic Completion Modulo with SimplificationMore Information... - V. Petersson S. Vorobyov:
Interior-Point Approach to Parity GamesMore Information... - A. Pogel G. Voutsadakis M. Gehrke:
A Game involving Epistemic Logic and ProbabilityMore Information... - G. Tan A. Appel:
Semantics of machine Instructions at Multiple Levels of AbstractionMore Information...
Organizers
General ChairSamson Abramsky Program ChairJoseph Halpern Conference ChairHarry Mairson Publicity ChairMartin Grohe |
Program Committee:Parosh Abdulla (Uppsala U.); Rance Cleaveland (SUNY Stony Brook); Hubert Comon (CNRS -- ENS Cachan); Thomas Eiter (T.U. Vienna); Erich Graedel (RWTH Aachen); Nevin Heintze (Bell Labs); Radha Jagadeesan (Loyola U.); Jean-Pierre Jouannaud (U. Paris-Sud); Patrick Lincoln (SRI International); David McAllester (AT&T Labs); Ron van der Meyden (U. New South Wales); Adolfo Piperno (U. Roma "La Sapienza"); Gordon Plotkin (U. Edinburgh); Michel de Rougemont (U. Paris-II); Thomas Streicher (T.U. Darmstadt); Pawel Urzyczyn (U. Warsaw); Pierre Wolper (U. Liege) Organizing CommitteeM. Abadi; S. Abramsky (chair); A. Aggarwal; M. Bezem; E. Clarke; R. Constable; N. Dershowitz; J. Diaz; H. Ganzinger; F. Giunchiglia; M. Grohe; D. Leivant; L. Libkin; G. Longo; D. A. Martin; J. Mitchell; E. Moggi; V. Pratt; J. Riecke; S. Ronchi della Rocca; 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 |