On this page:
Invited Speakers
- Michael Benedikt:
An Insider's Guide to Logic in Telecommunications DataMore Information... - Solomon Feferman:
Tarski's Influence on Computer ScienceMore Information... - Walter Fontana:
Logic and Systems BiologyMore Information... - J. Hillston:
Process Algebras for Quantitative AnalysisMore Information... - Glynn Winskel:
Relations in ConcurrencyMore Information...
Presented Papers
Entries are ordered by surname of first author
- Thorsten Altenkirch Jonathan Grattage:
A Functional Quantum Programming LanguageMore Information... - Albert Atserias:
On Digraph Coloring Problems and Treewidth DualityMore Information... - Albert Atserias:
Definability on a Random 3-CNF FormulaMore Information... - J.C.M. Baeten F. Corradini:
Regular Expressions in Process AlgebraMore Information... - Christel Baier Marcus Grosser:
Recognizing ?-regular Languages with Probabilistic AutomataMore Information... - Pablo Barcelo Leonid Libkin:
Temporal Logics over Unranked TreesMore Information... - Lars Birkedal Noah Torp-Smith Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-Order Frame RulesMore Information... - Bruno Blanchet Martin Abadi Cedric Fournet:
Automated Verification of Selected Equivalences for Security ProtocolsMore Information... - Iovka Boneva Jean-Marc Talbot Sophie Tison:
Expressiveness of a Spatial Logic for TreesMore Information... - Giuseppe Castagna Rocco De Nicola Daniele Varacca:
Semantic Subtyping for the p-CalculusMore Information... - Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdzinski:
Mean-Payoff Parity GamesMore Information... - Ugo Dal Lago:
The Geometry of Linear Higher-Order RecursionMore Information... - Anuj Dawar Martin Otto:
Modal Characterisation Theorems over Special Classes of FramesMore Information... - Abbas Edalat Dirk Pattinson:
Inverse and Implicit Functions in Domain TheoryMore Information... - Martin Escardo Ho Weng Kin:
Operational Domain Theory and Topology of a Sequential Programming LanguageMore Information... - Javier Esparza Antonin Kucera Richard Mayr:
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and VariancesMore Information... - Claudia Faggian Francois Maurel:
Ludics Nets, a game Model of Concurrent InteractionMore Information... - Bernd Finkbeiner Sven Schewe:
Uniform Distributed SynthesisMore Information... - Patrice Godefroid Michael Huth:
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal LogicsMore Information... - Evan Goris:
Looping CaterpillarsMore Information... - Chris Hardin:
Proof Theory for Kleene AlgebraMore Information... - Masahito Hasegawa:
Relational Parametricity and ControlMore Information... - Martin Hofmann:
Proof-Theoretic Approach to Description-LogicMore Information... - Kohei Honda Nobuko Yoshida Martin Berger:
An Observationally Complete Program Logic for Imperative Higher-Order Frame RulesMore Information... - Limin Jia Frances Spalding David Walker Neal Glew:
Certifying Compilation for a Language with Stack AllocationMore Information... - Emanuel Kieronski Martin Otto:
Small Substructures and Decidability Issues for First-Order Logic with Two VariablesMore Information... - Ho Weng Kin Victor Dalmau:
Generalized Majority-Minority Operations are TractableMore Information... - Clemens Kupke Yde Venema:
Closure Properties of Coalgebra AutomataMore Information... - Francois Lamarche Lutz Strassburger:
Constructing Free Boolean CategoriesMore Information... - Soren Lassen:
Eager Normal Form BisimulationMore Information... - Jerome Leroux:
A Polynomial Time Presburger Criterion and Synthesis for Number Decision DiagramsMore Information... - Markus Lohrey:
Model-Checking Hierarchical StructuresMore Information... - Michael Maher:
Herbrand Constraint AbductionMore Information... - Richard Mayr Parosh Abdulla Noomene Ben Henda:
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness PropertyMore Information... - Paul-Andre Mellies Jerome Vouillon:
Recursive Polymorphic Types and Parametricity in an Operational FrameworkMore Information... - Paul-Andre Mellies:
Asynchronous Games 4: A Fully Complete Model of Propositional Linear LogicMore Information... - Hannu Niemisto:
On Locality and Uniform ReductionMore Information... - Joël Ouaknine James Worrell:
On the Decidability of Metric Temporal LogicMore Information... - Benjamin Rossman:
Existential Positive Types and Preservation under HomomorphisismsMore Information... - Luigi Santocanale:
Completions of µ-algebrasMore Information... - Vladimiro Sassone Pawel Sobocinski:
Reactive Systems over CospansMore Information... - Alexis Saurin:
Separation with Streams in the ?µ-calculusMore Information... - Geoffrey Washburn Stephanie Weirich:
Generalizing Parametricity Using Information-flowMore Information... - Glynn Winskel:
Name Generation and LinearityMore Information...
Short Presentations
Entries are ordered by surname of first author
- Jiri Adamek Stefan Milius:
Wellfounded CoalgebrasMore Information... - Bodil Biering Lars Birkedal Noah Torp-Smith:
Higher-Order Separation LogicMore Information... - Ellie D'Hondt:
Distributed measurement-based quantum computationMore Information... - Yannick Delbecque:
Internal Traces and Abstract MeasurmentsMore Information... - Hyunjun Eo Seunghwan O Nikolay Shilov:
Finite game semantics for Propositional Program LogicsMore Information... - Valentin Goranko:
Infinite State Model Checking in Modal LogicMore Information... - Dominic Hughes:
Classical logic = Fibred MLLMore Information... - Limin Jia David Walker:
A Refined Proof Theory for Reasoning About SeparationMore Information... - Seunghwan H. Lee:
Problems in nesting logics to higher orderMore Information... - Paulo Mateus Amilcar Sernadas:
Complete exogenous quantum propositional logicMore Information... - Mehrnoosh Sadrzadeh:
Quantales for Reasoning about Security ProtocolsMore Information... - Bassem Sayrafi Dirk Van Gucht Marc Gyssens:
Measures and Measure-Based ConstraintsMore Information...
Organizers
General ChairPhokion G. Kolaitis (IBM Almaden Research Center and University of California at Santa Cruz) Program ChairPrakash Panangaden (McGill University, Montreal) Conference ChairAlan Jeffery (School of CTI, DePaul University, Chicago, Illinois, USA) Radhakrishnan Jagadeesan (School of CTI, DePaul University, Chicago, Illinois, USA) Publicity ChairAlex Simpson (University of Edinburgh) Workshops ChairPhil Scott (University of Ottawa) |
Program Committee:Jiri Adamek (Technical University of Braunschweig); Luca de Alfaro (U. of California, Santa Cruz); Andrei Bulatov (Simon Fraser University); Hubert Comon-Lundh (ENS Cachan); Philippa Gardner (Imperial College); Martin Grohe (Humboldt-Universitat zu Berlin); Neil Immerman (U. of Massachusetts, Amherst); Marta Kwiatkowska (University of Birmingham); Maurizio Lenzerini (Universita di Roma); Guy McCusker (University of Sussex); Larry Moss (University of Indiana); Prakash Panangaden (McGill University) (chair); Frank Pfenning (Carnegie-Mellon University); Toniann Pitassi (University of Toronto); Uday Reddy (University of Birmingham); Thomas Schwentick (Philipps-Universitat Marburg); Peter Selinger (University of Ottawa); N. Shankar (SRI International); Igor Walukiewicz (Universite Bordeaux) Organizing CommitteeS. Abramsky; A. Broder; S. Buss; E. Clarke; A. Felty; H. Gabow; L. Hella; R. Jagadeesan; A. Jeffrey; U. Kohlenbach; P. Kolaitis (chair); J. Makowsky; J. Mitchell; M. Nielsen; P. Panangaden; F. Pfenning; G. Plotkin; F. van Raamsdonk; P. Scott; A. Simpson; A. Voronkov Advisory BoardR. Constable; Y. Gurevich; C. Kirchner; D. Kozen; U. Martin; A. Meyer; L. Pacholski; V. Pratt; A. Scedrov; D.S. Scott; M.Y. Vardi; G. Winskel |