On this page:
Invited Speakers
- Michael Benedikt
An Insider's Guide to Logic in Telecommunications Data - Solomon Feferman
Tarski's Influence on Computer Science - Walter Fontana
Logic and Systems Biology - Jane Hillston
Process Algebras for Quantitative Analysis - Glynn Winskel
Relations in Concurrency
Invited Papers
- 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... - Jane 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... - Jos C. M. Baeten Flavio Corradini
Regular Expressions in Process AlgebraMore Information... - Christel Baier Marcus Größer
Recognizing omega-regular Languages with Probabilistic AutomataMore Information... - Pablo Barceló 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 Martín Abadi Cédric 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 pi-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... - Víctor Dalmau
Generalized Majority-Minority Operations are TractableMore 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... - Martín H. Escardó Ho Weng Kin
Operational Domain Theory and Topology of a Sequential Programming LanguageMore Information... - Javier Esparza Antonín Kučera 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... - Clemens Kupke Yde Venema
Closure Properties of Coalgebra AutomataMore Information... - François Lamarche Lutz Straßburger
Constructing Free Boolean CategoriesMore Information... - Soren B. Lassen
Eager Normal Form BisimulationMore Information... - Jérôme Leroux
A Polynomial Time Presburger Criterion and Synthesis for Number Decision DiagramsMore Information... - Markus Lohrey
Model-Checking Hierarchical StructuresMore Information... - Michael J. Maher
Herbrand Constraint AbductionMore Information... - Richard Mayr Parosh A. Abdulla Noomene Ben Henda
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness PropertyMore Information... - Paul-André Melliès Jerome Vouillon
Recursive Polymorphic Types and Parametricity in an Operational FrameworkMore Information... - Paul-André Melliès
Asynchronous Games 4: A Fully Complete Model of Propositional Linear LogicMore Information... - Hannu Niemistö
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 lambdaµ-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 J. D. 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 K. Simpson (University of Edinburgh) Workshops ChairPhilip J. Scott (University of Ottawa) |
Program Committee:Jiri Adamek (Technical University of Braunschweig); Luca de Alfaro (U. of California, Santa Cruz); Andrei A. 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 Z. Kwiatkowska (University of Birmingham); Maurizio Lenzerini (Universita di Roma); Guy McCusker (University of Sussex); Lawrence S. Moss (University of Indiana); Prakash Panangaden (McGill University) (chair); Frank Pfenning (Carnegie-Mellon University); Toniann Pitassi (University of Toronto); Uday S. Reddy (University of Birmingham); Thomas Schwentick (Philipps-Universitat Marburg); Peter Selinger (University of Ottawa); Natarajan Shankar (SRI International); Igor Walukiewicz (Universite Bordeaux) Organizing CommitteeSamson Abramsky; Andrei Z. Broder; Samuel R. Buss; Edmund M. Clarke; Amy Felty; Harold N. Gabow; Lauri Hella; Radha Jagadeesan; Alan Jeffrey; Ulrich Kohlenbach; Phokion G. Kolaitis (chair); Johann A. Makowsky; John C. Mitchell; Mogens Nielsen; Prakash Panangaden; Frank Pfenning; Gordon D. Plotkin; Femke van Raamsdonk; Philip J. Scott; Alex K. Simpson; Andrei Voronkov Advisory BoardRobert L. Constable; Yuri Gurevich; Claude Kirchner; Dexter C. Kozen; Ursula Martin; Albert R. Meyer; Leszek Pacholski; Vaughan R. Pratt; Andre Scedrov; Dana S. Scott; Moshe Y. Vardi; Glynn Winskel |