On this page:
Invited Speakers
- Martín Abadi
The Fine Print of Security - Vincent Danos
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction - Georg Gottlob
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications - J. Strother Moore
Theorem Proving for Verification: The Early Days - Catuscia Palamidessi
Probabilistic Information Flow
Invited Papers
- Martín Abadi
The Fine Print of SecurityMore Information... - Mário S. Alvim Miguel E. Andrés Catuscia Palamidessi
Probabilistic Information FlowMore Information... - Andrea Calì Georg Gottlob Thomas Lukasiewicz Bruno Marnette Andreas Pieris
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New ApplicationsMore Information... - Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model ReductionMore Information... - J. Strother Moore
Theorem Proving for Verification: The Early DaysMore Information...
Presented Papers
Entries are ordered by surname of first author
- Samson Abramsky
Coalgebras, Chu Spaces, and Representations of Physical SystemsMore Information... - Arnon Avron Ofer Arieli Anna Zamansky
On Strong Maximality of Paraconsistent Finite-Valued LogicsMore Information... - Vince Bárány Georg Gottlob Martin Otto
Querying the Guarded FragmentMore Information... - Luis Barguñó Carles Creus Guillem Godoy Florent Jacquemard Camille Vacher
The Emptiness Problem for Tree Automata with Global ConstraintsMore Information... - Libor Barto Marcin Kozik
New Conditions for Taylor Varieties and CSPMore Information... - Massimo Bartoletti Roberto Zunino
A Calculus of Contracting ProcessesMore Information... - Michele Basaldella Kazushige Terui
Infinitary Completeness in LudicsMore Information... - Manuel Bodirsky Martin Hils Barnaby Martin
On the Scope of the Universal-Algebraic Approach to Constraint SatisfactionMore Information... - Mikołaj Bojańczyk Sławomir Lasota
An Extension of Data Automata that Captures XPathMore Information... - Christopher H. Broadbent Arnaud Carayol C.-H. Luke Ong Olivier Serre
Recursion Schemes and Logical ReflectionMore Information... - James Brotherston Max I. Kanovich
Undecidability of Propositional Separation Logic and Its NeighboursMore Information... - Thomas Colcombet Christof Löding
Regular Cost Functions over Finite TreesMore Information... - Thomas Ehrhard
A Finiteness Structure on Resource TermsMore Information... - Christian Eisentraut Holger Hermanns Lijun Zhang
On Probabilistic Automata In Continuous TimeMore Information... - Jörg Endrullis Dimitri Hendriks Jan Willem Klop
Modular Construction of Fixed Point Combinators and Clocked Böhm TreesMore Information... - Jean Goubault-Larrecq
Omega-QRB-Domains and the Probabilistic PowerdomainMore Information... - Martin Grohe
Fixed-Point Definability and Polynomial Time on Graphs with Excluded MinorsMore Information... - Alessio Guglielmi Tom Gundersen Lutz Straßburger
Breaking Paths in Atomic Flows for Classical LogicMore Information... - David Harel
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi'sMore Information... - Yuguo He
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite StructuresMore Information... - Hugo Herbelin
An Intuitionistic Logic that Proves Markov's PrincipleMore Information... - Mark Jenkins Joël Ouaknine Alexander M. Rabinovich James Worrell
Alternating Timed Automata over Bounded TimeMore Information... - Patricia Johann Alex Simpson Janis Voigtländer
A Generic Operational Metatheory for Algebraic EffectsMore Information... - Magnus Johansson Jesper Bengtson Joachim Parrow Björn Victor
Weak Equivalences in Psi-CalculiMore Information... - Eryk Kopczyński Anthony Widjaja To
Parikh Images of Grammars: Complexity and ApplicationsMore Information... - Stephan Kreutzer Siamak Tazari
Lower Bounds for the Complexity of Monadic Second-Order LogicMore Information... - Dietrich Kuske Jiamou Liu Markus Lohrey
The Isomorphism Problem On Classes of Automatic StructuresMore Information... - James Laird
Game Semantics for a Polymorphic Programming LanguageMore Information... - Cosimo Laneve Antonio Vitale
The Expressive Power of SynchronizationsMore Information... - Dominique Larchey-Wendling Didier Galmiche
The Undecidability of Boolean BI through Phase SemanticsMore Information... - Bastian Laubner
Capturing Polynomial Time on Interval GraphsMore Information... - Paul-André Melliès
Segal condition meets computational effectsMore Information... - Stefan Milius
A Sound and Complete Calculus for Finite Stream CircuitsMore Information... - Martin Otto
Highly Acyclic Groups, Hypergraph Covers and the Guarded FragmentMore Information... - Thomas Place Luc Segoufin
Deciding Definability in FO(<) (or XPath) on TreesMore Information... - Gordon D. Plotkin
Robin Milner, a Craftsman of Tools for the MindMore Information... - Andrei Popescu Elsa L. Gunter Christopher J. Osborn
Strong Normalization of System F by HOAS on Top of FOASMore Information... - Nicole Schweikardt Luc Segoufin
Addition-Invariant FO and RegularityMore Information... - Vincent Siles Hugo Herbelin
Equality is Typable in Semi-Full Pure Type SystemsMore Information... - Sam Staton Glynn Winskel
On the Expressivity of Symmetry in Event StructuresMore Information... - Noam Zeilberger
Polarity and the Logic of Delimited ContinuationsMore Information...
Short Presentations
Entries are ordered by surname of first author
- Stanislav Böhm Stefan Göller Petr Jančar
Bisimilarity of one-counter processes is PSPACE-completeMore Information... - Jian-Qi Li
A Computability Path Ordering for Polymorphic TermsMore Information... - Mohamed N. Menaa
On the Compositionality of Round AbstractionMore Information... - Pierre-Yves Strub Qian Wang
Coq Modulo TheoryMore Information...
Organizers
General ChairRajeev Alur Program ChairJean-Pierre Jouannaud Conference ChairMartín Escardó Publicity ChairStephan Kreutzer Nicole Schweikardt Workshops ChairMaribel Fernández Adriana Compagnoni |
Program Committee:Parosh Abdulla (Uppsala University); Albert Atserias (Universitat Politècnica de Catalunya); Franz Baader (TU Dresden); Krishnendu Chatterjee (IST, Vienna); Yijia Chen (Jiaotong University, Shanghai); Véronique Cortier (CNRS & LORIA, Nancy); Vincent Danos (University of Edinburgh); Martín Escardó (University of Birmingham); Javier Esparza (TU München); Amy Felty (University of Ottawa); Herman Geuvers (Radboud University, Nijmegen); Dan Ghica (University of Birmingham); Robert Harper (Carnegie Mellon University); Jean-Pierre Jouannaud (INRIA and Tsinghua University, Beijing); Naoki Kobayashi (Tohoku University, Sendai); Orna Kupferman (Hebrew University, Jerusalem); Stephane Lengrand (CNRS & LIX, Palaiseau); José Meseguer (University of Illinois, Urbana-Champaign); John Mitchell (Stanford University); Eugenio Moggi (Università di Genova); Anca Muscholl (Université Bordeaux); Mogens Nielsen (Aarhus University); Makoto Tatsuta (NII, Tokyo); Wolfgang Thomas (RWTH Aachen); Paweł Urzyczyn (Warsaw University); Victor Vianu (University of California, San Diego) Organizing CommitteeMartín Abadi; Rajeev Alur; Paul Beame; Maria Paola Bonacina; Steve Brookes; Samuel Buss; Edmund M. Clarke; Adriana Compagnoni; Martín Escardó; Maribel Fernández; Lance Fortnow; Jürgen Giesl; Radha Jagadeesan; Jean-Pierre Jouannaud; Phokion Kolaitis; Stephan Kreutzer; Benoit Larose; Johann A. Makowsky; Burkhard Monien; Jens Palsberg; Frank Pfenning; Andrew M. Pitts; Nicole Schweikardt; Philip Scott; Matt Valeriote Advisory BoardMartín Abadi; Samson Abramsky; Yuri Gurevich; Thomas A. Henzinger; Claude Kirchner; Phokion Kolaitis; Dexter Kozen; Ursula Martin; John Mitchell; Luke Ong; Leszek Pacholski; Gordon Plotkin; Andre Scedrov; Moshe Y. Vardi; Glynn Winskel |