On this page:
Invited Speakers
- David A. Basin
Cryptographically-Sound Protocol-Model Abstractions - Martin Grohe
The Quest for a Logic Capturing PTIME - Dexter C. Kozen
Nonlocal Flow of Control and Kleene Algebra with Tests - Yiannis N. Moschovakis
The Axiomatic Derivation of Absolute Lower Bounds
Invited Papers
- Martin Grohe
The Quest for a Logic Capturing PTIMEMore Information... - Dexter C. Kozen
Nonlocal Flow of Control and Kleene Algebra with TestsMore Information... - Yiannis N. Moschovakis
The Axiomatic Derivation of Absolute Lower BoundsMore Information... - Christoph Sprenger David A. Basin
Cryptographically-Sound Protocol-Model AbstractionsMore Information...
Presented Papers
Entries are ordered by surname of first author
- Klaus Aehlig Arnold Beckmann
On the Computational Complexity of Cut-ReductionMore Information... - Christel Baier Nathalie Bertrand Patricia Bouyer Thomas Brihaye Marcus Größer
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed AutomataMore Information... - Emmanuel Beffara
An Algebraic Process CalculusMore Information... - Mikołaj Bojańczyk Luc Segoufin Howard Straubing
Piecewise Testable Tree LanguagesMore Information... - Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kučera
The Satisfiability Problem for Probabilistic CTLMore Information... - Guillaume Burel
A First-Order Representation of Pure Type Systems Using SuperdeductionMore Information... - Arnaud Carayol Matthew Hague Antoine Meyer C.-H. Luke Ong Olivier Serre
Winning Regions of Higher-Order Pushdown GamesMore Information... - Catarina Carvalho Víctor Dalmau Andrei A. Krokhin
Caterpillar Duality for Constraint Satisfaction ProblemsMore Information... - Rohit Chadha A. Prasad Sistla Mahesh Viswanthan
On the Expressiveness and Complexity of Randomization in Finite State MonitorsMore Information... - Pierre Chambart Philippe Schnoebelen
The Ordinal Recursive Complexity of Lossy Channel SystemsMore Information... - Taolue Chen Wan Fokkink
On the Axiomatizability of Impossible Futures: Preorder versus EquivalenceMore Information... - Hubie Chen Florent R. Madelaine Barnaby Martin
Quantified Constraints and Containment ProblemsMore Information... - Agata Ciabattoni Nikolaos Galatos Kazushige Terui
From Axioms to Analytic Rules in Nonclassical LogicsMore Information... - Víctor Dalmau Benoit Larose
Maltsev + Datalog --> Symmetric DatalogMore Information... - Marc de Falco
The Geometry of Interaction of Differential Interaction NetsMore Information... - Paulin Jacobé de Naurois Virgile Mogbil
Correctness of Multiplicative Additive Proof Structures is NL-CompleteMore Information... - Olivier Delande Dale A. Miller
A Neutral Approach to Proof and Refutation in MALLMore Information... - David Duris
Hypergraph Acyclicity and Extension Preservation TheoremsMore Information... - Abbas Edalat
Weak Topology and a Differentiable Operator for Lipschitz MapsMore Information... - Marcelo P. Fiore
Second-Order and Dependently-Sorted Abstract SyntaxMore Information... - Andrew Gacek Dale A. Miller Gopalan Nadathur
Combining Generic Judgments with Recursive DefinitionsMore Information... - Adria Gascón Guillem Godoy Manfred Schmidt-Schauß
Context Matching for Compressed TermsMore Information... - Martin Grohe
Definable Tree DecompositionsMore Information... - Matthew Hague Andrzej S. Murawski C.-H. Luke Ong Olivier Serre
Collapsible Pushdown Automata and Recursion SchemesMore Information... - Greg Hjorth Bakhadyr Khoussainov Antonio Montalbán André Nies
From Automatic Structures to Borel StructuresMore Information... - Vineet Kahlon
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent ProgramsMore Information... - Ivan Lanese Jorge A. Perez Davide Sangiorgi Alan Schmitt
On the Expressiveness and Decidability of Higher-Order Process CalculiMore Information... - Soren B. Lassen Paul Blain Levy
Typed Normal Form Bisimulation for Parametric PolymorphismMore Information... - Olivier Laurent Roberto Maieli
Cut Elimination for Monomial MALL Proof NetsMore Information... - Daniel R. Licata Noam Zeilberger Robert Harper
Focusing on Binding and ComputationMore Information... - James F. Lynch
A Logical Characterization of Individual-Based ModelsMore Information... - Andrzej S. Murawski
Reachability Games and Game Semantics: Comparing Nondeterministic ProgramsMore Information... - Gordon D. Plotkin Matija Pretnar
A Logic for Algebraic EffectsMore Information... - François Pottier
Hiding Local State in Direct Style: A Higher-Order Anti-Frame RuleMore Information... - Søren Riis
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof ComplexityMore Information... - Carsten Schürmann Jeffrey Sarnat
Structural Logical RelationsMore Information... - Sam Staton
General Structural Operational Semantics through Categorical LogicMore Information... - Makoto Tatsuta
Types for Hereditary PermutatorsMore Information... - Christian Urban James Cheney Stefan Berghofer
Mechanizing the Metatheory of LFMore Information...
Organizers
General ChairMartín Abadi Program ChairFrank Pfenning Conference ChairStephenBrookes Publicity ChairStephan Kreutzer Nicole Schweikardt Workshops ChairPhil Scott Adriana Compagnoni |
Program Committee:Eyal Amir (Univ. of Illinois, Urbana-Champaign); Andreas Blass (University of Michigan); Andrei Bulatov (Simon Fraser University); Cristiano Calcagno (Imperial College); Stephen Cook (University of Toronto); Ugo Dal Lago (University of Bologna); Vincent Danos (University Paris 7); Martin Escardo (University of Birmingham); Patrice Godefroid (Microsoft Research Redmond); Jean Goubault-Larrecq (ENS Cachan); John Harrison (Intel); Rosalie Iemhoff (University Utrecht); Naoki Kobayashi (Tohoku University); Stephan Kreutzer (Oxford University); Orna Kupferman (Hebrew University); John Mitchell (Stanford University); Robert Nieuwenhuis (Technical Univ. Catalonia); Michael Norrish (NICTA, Australia); Catuscia Palamidessi (INRIA); Frank Pfenning (Carnegie Mellon University); Philip Scott (University of Ottawa); Alex Simpson (University of Edinburgh); Ashish Tiwari (SRI); Frank Wolter (University of Liverpool); James Worrell (Oxford University) Organizing CommitteeMartín Abadi; Samson Abramsky; Rajeev Alur; Giorgio Ausiello; Franz Baader; Steve Brookes; Samuel R. Buss; Edmund Clarke; Adriana Compagnoni; Hal Gabow; Jürgen Giesl; Radha Jagadeesan; Alan Jeffrey; Phokion G. Kolaitis; Stephan Kreutzer; Richard E. Ladner; Johann A. Makowsky; Jerzy Marcinkowski; Luke Ong; Prakash Panangaden; Frank Pfenning; Nicole Schweikardt; Philip J. Scott; Margus Veanes Advisory BoardRobert L. Constable; Yuri Gurevich; Thomas A. Henzinger; Claude Kirchner; Dexter C. Kozen; Ursula Martin; John C. Mitchell; Leszek Pacholski; Vaughan R. Pratt; Andre Scedrov; Dana S. Scott; Moshe Y. Vardi; Glynn Winskel |