On this page:
Invited Speakers
- Rajeev Alur
Regular Functions and Cost Register Automata - Hubert Comon-Lundh
Logic In Computer Security: Some attacker's models and related decision problems (tutorial) - Joseph Y. Halpern
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic - Nancy A. Lynch
Timed and Probabilistic I/O Automata - Prakash Panangaden
Duality in Logic and Computation - Jan Rutten
Automata and the algebra-coalgebra duality: on varieties and covarieties, on transition monoids and their dual (tutorial)
Invited Papers
- Rajeev Alur Loris D'Antoni Jyotirmoy V. Deshmukh Mukund Raghothaman Yifei Yuan
Regular Functions and Cost Register AutomataMore Information... - Hubert Comon-Lundh
LICS: Logic in Computer Security - Some Attacker's Models and Related Decision ProblemsMore Information... - Joseph Y. Halpern
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional LogicMore Information... - Nancy A. Lynch
Timed and Probabilistic I/O AutomataMore Information... - Prakash Panangaden
Duality in Logic and ComputationMore Information...
Presented Papers
Entries are ordered by surname of first author
- Beniamino Accattoli
Compressing Polarized BoxesMore Information... - Rajeev Alur Antoine Durand-Gasselin Ashutosh Trivedi
From Monadic Second-Order Definable String Transformations to TransducersMore Information... - Matthew Anderson Anuj Dawar Bjarki Holm
Maximum Matching and Linear Programming in Fixed-Point Logic with CountingMore Information... - Andrea Asperti Jean-Jacques Lévy
The Cost of Usage in the Lambda-CalculusMore Information... - Philippe Balbiani Andreas Herzig Nicolas Troquard
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDLMore Information... - Michael Benedikt Stefan Göller Stefan Kiefer Andrzej S. Murawski
Bisimilarity of Pushdown Automata is NonelementaryMore Information... - Massimo Benerecetti Fabio Mogavero Aniello Murano
Substructure Temporal LogicMore Information... - Lars Birkedal Rasmus E. Møgelberg
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on UniversesMore Information... - Mikołaj Bojańczyk Bartek Klin Sławomir Lasota Szymon Toruńczyk
Turing Machines with AtomsMore Information... - Benedikt Bollig Dietrich Kuske Roy Mennicke
The Complexity of Model Checking Multi-stack SystemsMore Information... - Anudhyan Boral Sylvain Schmitz
Model-Checking Parse TreesMore Information... - Tomáš Brázdil Krishnendu Chatterjee Vojtech Forejt Antonín Kučera
Trading Performance for Stability in Markov Decision ProcessesMore Information... - Witold Charatonik Piotr Witkowski
Two-Variable Logic with Counting and TreesMore Information... - Swarat Chaudhuri Sriram Sankaranarayanan Moshe Y. Vardi
Regular Real AnalysisMore Information... - Thomas Colcombet
Magnitude Monadic Logic over Words and the Use of Relative Internal Set TheoryMore Information... - Ioana Cristescu Jean Krivine Daniele Varacca
A Compositional Semantics for the Reversible p-CalculusMore Information... - Pierre-Évariste Dagand Conor McBride
A Categorical Treatment of OrnamentsMore Information... - Stéphane Demri Diego Figueira M. Praveen
Reasoning about Data Repetitions with Counter SystemsMore Information... - Kord Eickmeyer Ken-ichi Kawarabayashi Stephan Kreutzer
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph ClassesMore Information... - Alessandro Facchini Yde Venema Fabio Zanasi
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-CalculusMore Information... - Alessandro Facchini Filip Murlak Michal Skrzypczak
Rabin-Mostowski Index Problem: A Step beyond Deterministic AutomataMore Information... - Hugo Férée Mathieu Hoyrup Walid Gomaa
On the Query Complexity of Real FunctionalsMore Information... - Emmanuel Filiot Olivier Gauwin Pierre-Alain Reynier Frédéric Servais
From Two-Way to One-Way Finite State TransducersMore Information... - Marcelo P. Fiore Makoto Hamana
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational LogicMore Information... - Gaëlle Fontaine
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering?More Information... - Olle Fredriksson Dan R. Ghica
Abstract Machines for Game Semantics, RevisitedMore Information... - Neil Ghani Lorenzo Malatesta Fredrik Nordvall Forsberg Anton Setzer
Fibred Data TypesMore Information... - Tomasz Gogacz Jerzy Marcinkowski
Converging to the Chase - A Tool for Finite ControllabilityMore Information... - Sergey Goncharov Lutz Schröder
A Relatively Complete Generic Hoare Logic for Order-Enriched EffectsMore Information... - Tom Gundersen Willem Heijltjes Michel Parigot
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit SharingMore Information... - James Hales
Arbitrary Action Model Logic and Action Model SynthesisMore Information... - Lucas Heimberg Dietrich Kuske Nicole Schweikardt
An Optimal Gaifman Normal Form Construction for Structures of Bounded DegreeMore Information... - Daniel Hirschkoff Jean-Marie Madiot Davide Sangiorgi
Name-Passing Calculi: From Fusions to Preorders and TypesMore Information... - Jan Hoffmann Michael Marmar Zhong Shao
Quantitative Reasoning for Proving Lock-FreedomMore Information... - Piotr Hofman Richard Mayr Patrick Totzke
Decidability of Weak Simulation on One-Counter NetsMore Information... - Paul Hunter Joël Ouaknine James Worrell
Expressive Completeness for Metric Temporal LogicMore Information... - Bart Jacobs
Measurable Spaces and Their Effect LogicMore Information... - Achim Jung Umberto Rivieccio
Kripke Semantics for Modal Bilattice LogicMore Information... - Naoki Kobayashi
Pumping by TypingMore Information... - Dexter Kozen Kim G. Larsen Radu Mardare Prakash Panangaden
Stone Duality for Markov ProcessesMore Information... - Stephan Kreutzer Cristian Riveros
Quantitative Monadic Second-Order LogicMore Information... - Ori Lahav
From Frame Properties to Hypersequent Rules in Modal LogicsMore Information... - James Laird Giulio Manzonetto Guy McCusker Michele Pagani
Weighted Relational Models of Typed Lambda-CalculiMore Information... - Jérôme Leroux
Presburger Vector Addition SystemsMore Information... - Jérôme Leroux Vincent Penelle Grégoire Sutre
On the Context-Freeness Problem for Vector Addition SystemsMore Information... - Chuck Liang Dale A. Miller
No title available.More Information... - Daniel R. Licata Michael Shulman
Calculating the Fundamental Group of the Circle in Homotopy Type TheoryMore Information... - Fabio Mogavero Aniello Murano Luigi Sauro
On the Boundary of Behavioral StrategiesMore Information... - Angelo Montanari Pietro Sala
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and ExpressivenessMore Information... - Sumit Nain Moshe Y. Vardi
Solving Partial-Information Stochastic Parity GamesMore Information... - Martin Otto
Groupoids, Hypergraphs, and Symmetries in Finite ModelsMore Information... - Dirk Pattinson
The Logic of Exact Covers: Completeness and Uniform InterpolationMore Information... - Colin Riba
Forcing MSO on Infinite Words in Weak MSOMore Information... - Grigore Rosu Andrei Stefanescu Stefan Ciobaca Brandon M. Moore
One-Path Reachability LogicMore Information... - Jorge Luis Sacchini
Type-Based Productivity of Stream Definitions in the Calculus of ConstructionsMore Information... - Sam Staton
Instances of Computational Effects: An Algebraic PerspectiveMore Information... - Jamie Vicary
Topological Structure of Quantum AlgorithmsMore Information...
Short Presentations
Entries are ordered by surname of first author
- Matthew Anderson Anuj Dawar
On Symmetric Circuits and FP+CMore Information... - Jean-Philippe Bernardy Guilhem Moulin
Type-Theory In ColorMore Information... - Witold Charatonik Piotr Witkowski
Two-variable Logics with Counting and DatalogMore Information... - Jonas De Vuyst
Dynamic Tableaux for Public Announcement LogicMore Information... - Christoph Dittmann Stephan Kreutzer Alexandru I. Tomescu
Graph Operations on Parity Games and Polynomial-Time AlgorithmsMore Information... - Uli Fahrenberg Axel Legay
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open MapsMore Information... - Ariel Fernández Michael Soltys
Feasible combinatorial matrix theory (Polytime proofs for König's Min-Max and related theorems)More Information... - Thomas A. Henzinger Jan Otop
From Model Checking to Model MeasuringMore Information... - James Laird
Semantics of Closures: Deconstructing Local StateMore Information... - Sylvain Schmitz
Complexity Hierarchies Beyond ElementaryMore Information... - Robert J. Simmons Ian Zerny
A Logical Correspondence between Natural Semantics and Abstract MachinesMore Information...
Organizers
General ChairLuke Ong Program ChairOrna Kupferman Conference ChairMike Mislove Publicity ChairAndrzej Murawski Workshops ChairPatricia Bouyer-Decitre |
Program Committee:Parosh Abdulla (Uppsala University); Amal Ahmed (Northeastern University); Sergei Artemov (City University of New York); Andrei Bulatov (Simon Fraser University); Yijia Chen (Shanghai Jiao Tong University); Véronique Cortier (CNRS & LORIA); Mariangiola Dezani-Ciancaglini (Univ. di Torino); Thomas Ehrhard (CNRS, Université Paris Diderot); Javier Esparza (Technische Universität München); Kousha Etessami (University of Edinburgh); Maribel Fernández (King's College London); Santiago Figueira (University of Buenos Aires); Simon Gay (University of Glasgow); Martin Grohe (Humboldt-Universität zu Berlin); Martin Hofmann (LMU Munich); Petr Jančar (Technical University Ostrava); Barbara Jobstmann (CNRS, Verimag & Jasper DA); Patricia Johann (University of Strathclyde); Bakhadyr Khoussainov (University of Auckland); Antonina Kolokolova (University of Newfoundland); Victor Marek (University of Kentucky); Angelo Morzenti (Politecnico di Milano); Lawrence Moss (Indiana University); Madhavan Mukund (Chennai Math. Institute); Anca Muscholl (Université Bordeaux); Mogens Nielsen (Aarhus University); Catuscia Palamidessi (INRIA, Ecole Polytechnique); Luc Segoufin (INRIA, ENS Cachan); Natarajan Shankar (SRI International); Alexandra Silva (Radboud University Nijmegen); Balder ten Cate (UC Santa Cruz); Kazushige Terui (Kyoto University); Ron van der Meyden (U. New South Wales); Jeannette M. Wing (Carnegie Mellon University); Nobuko Yoshida (Imperial College London) Organizing CommitteeMartín Abadi; Luca Aceto; Rajeev Alur; Franz Baader; Paul Beame; Patricia Bouyer-Decitre; Adriana Compagnoni; Anuj Dawar; Nachum Dershowitz; Martín Escardó; Maribel Fernández; Martin Grohe; Orna Grumberg; Jean-Pierre Jouannaud; Phokion Kolaitis; Orna Kupferman; Benoit Larose; Vlatko Lipovac; Michael Mislove; Georg Moser; Andrzej Murawski; Luke Ong; Andre Scedrov; Philip Scott; David Shmoys; Matt Valeriote Advisory BoardMartín Abadi; Samson Abramsky; Rajeev Alur; Bob Constable; Thierry Coquand; Thomas Henzinger; Phokion Kolaitis; Dexter Kozen; Dale Miller; John Mitchell; Prakash Panangaden; Leszek Pacholski; Prakash Panangaden; Andrew Pitts; Gordon Plotkin; Moshe Y. Vardi; Glynn Winskel |