CSL-LICS Program

CSL-LICS PROGRAM

Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th

Monday, July 14th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

Chair:

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45	Sabine Seidler Welcome Address by the Rector (abstract)
08:50	Matthias Baaz, Thomas Eiter and Helmut Veith Welcome Address by the Organizers (abstract)
08:55	Dana Scott VSL Opening (abstract)

09:15-10:15 Session 38: VSL Keynote Talk

Chair:

Georg Gottlob

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

09:15

Christos Papadimitriou

VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract)

10:15-10:45Coffee Break

10:45-13:00 Session 38A: Tutorial by Assia Mahboubi

Chair:

Dale Miller

Location: FH, Hörsaal 1

10:45

Assia Mahboubi

Computer-checked mathematics: a formal proof of the Odd Order theorem (abstract)

10:45-13:00 Session 38B: Computability

Chair:

Leszek Pacholski

Location: FH, Hörsaal 5

10:45	Bakh Khoussainov A quest for algorithmically random infinite structures (abstract)
11:15	Taolue Chen and Stefan Kiefer On the Total Variation Distance of Labelled Markov Chains (abstract)
11:45	Paul Bilokon and Abbas Edalat A domain-theoretic approach to Brownian motion and general continuous stochastic processes (abstract)
12:15	Marcello Mamino On the Computing Power of +, −, and × (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 41A: Tutorial by Jasmin Fisher

Chair:

Tom Henzinger

Location: FH, Hörsaal 1

14:30

Jasmin Fisher

Understanding Biology through Logic (abstract)

14:30-16:00 Session 41H: Special session: Perspectives on Induction (joint with LC)

Location: MB, Prechtlsaal

14:30	Michael Detlefsen Inductive Proofs & the Knowledge They Represent (abstract)
15:15	Georg Gottlob Decidable languages for knowledge representation and inductive definitions: From Datalog to Datalog+/- (abstract)

16:00-16:30Coffee Break

16:30-18:30 Session 42A: Computability

Chair:

Erich Graedel

Location: FH, Hörsaal 1

16:30	Bartek Klin, Sławomir Lasota, Joanna Ochremiak and Szymon Toruńczyk Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity (abstract)
17:00	Beniamino Accattoli and Ugo Dal Lago Beta Reduction is Invariant, Indeed (abstract)
17:30	Anupam Das On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems (abstract)
18:00	Ryan Williams Faster decision of first-order graph properties (abstract)

16:30-18:30 Session 42B: Concurrency

Chair:

Dale Miller

Location: FH, Hörsaal 5

16:30	Benedikt Bollig Logic for Communicating Automata with Parameterized Topology (abstract)
17:00	Julian Gutierrez and Michael Wooldridge Equilibria of Concurrent Games on Event Structures (abstract)
17:30	Hongjin Liang, Xinyu Feng and Zhong Shao Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (abstract)
18:00	Simon Castellan, Pierre Clairambault and Glynn Winskel Symmetry in Concurrent Games (abstract)

Tuesday, July 15th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)

Chair:

Moshe Vardi

Location: FH, Hörsaal 1

08:45

Orna Kupfermann

FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)

Monday, July 14th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

20:00-21:30 Session 44: VSL Opening Reception

Location: Rathaus

Tuesday, July 15th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:45-13:00 Session 47A: Automata

Chair:

Andrzej Murawski

Location: FH, Hörsaal 1

10:45	Tomas Brazdil, Stefan Kiefer, Antonin Kucera, Petr Novotný and Joost-Pieter Katoen Zero-Reachability in Probabilistic Multi-Counter Automata (abstract)
11:15	Matthew Hague Senescent Ground Tree Rewrite Systems (abstract)
11:45	Wei Chen and Martin Hofmann Abstract Interpretation from Buchi Automata (abstract)
12:15	Thomas Place and Marc Zeitoun Separating Regular Languages with First-Order Logic (abstract)

10:45-13:00 Session 47B: Concurrency and Games

Chair:

Krishnendu Chatterjee

Location: FH, Hörsaal 5

10:45	Filippo Bonchi, Daniela Petrisan, Damien Pous and Jurriaan Rot Coinduction Up-To in a Fibrational Setting (abstract)
11:15	Luca Padovani Deadlock and lock freedom in the linear pi-calculus (abstract)
11:45	Véronique Bruyère, Noémie Meunier and Jean-Francois Raskin Secure Equilibria in Weighted Games (abstract)
12:15	Stephane Le Roux and Arno Pauly Infinite sequential games with real-valued payoffs (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 50A: Graphs and Logic

Chair:

Erich Graedel

Location: FH, Hörsaal 1

14:30	Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Paweł Parys and Michael Vanden Boom Two-Way Cost Automata and Cost Logics over Infinite Trees (abstract)
15:00	Benedikt Bollig, Paul Gastin, Benjamin Monmege and Marc Zeitoun Logical Characterization of Weighted Pebble Walking Automata (abstract)
15:30	Georg Gottlob and Enrico Malizia Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (abstract)

14:30-16:00 Session 50B: Model Checking

Chair:

Anuj Dawar

Location: FH, Hörsaal 5

14:30	Christoph Dittmann, Stephan Kreutzer and Mikolaj Bojanczyk Decomposition Theorems and Model-Checking for the Modal mu-calculus (abstract)
15:00	Ian Pratt-Hartmann Logics with Counting and Equivalence (abstract)
15:30	Eric Koskinen and Tachio Terauchi Local Temporal Reasoning (abstract)

16:00-16:30Coffee Break

16:30-17:30 Session 52A: Invited talk by Patrick Cousot

Chair:

Tom Henzinger

Location: FH, Hörsaal 1

16:30

Patrick Cousot and Radhia Cousot

Abstract Interpretation: Past, Present and Future (abstract)

19:00-20:00 Session 55A: Annual meeting of the EACSL

Location: FH, Hörsaal 1

Wednesday, July 16th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-13:00 Session 56A: Models and Expressiveness

Chair:

Andrzej Murawski

Location: FH, Hörsaal 1

10:45	Pablo Barceló and Pablo Muñoz Graph Logics with Rational Relations: The Role of Word Combinatorics (abstract)
11:15	Simone Bova, Robert Ganian and Stefan Szeider Model Checking Existential Logic on Partially Ordered Sets (abstract)
11:45	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar and Patrick Totzke Infinite-State Energy Games (abstract)
12:15	Facundo Carreiro, Alessandro Facchini, Yde Venema and Fabio Zanasi Weak MSO: Automata and Expressiveness Modulo Bisimilarity (abstract)

Tuesday, July 15th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

19:00-20:00 Session 56A: VSL Public Lecture 1

Location: MB, Kuppelsaal

19:00

Karl Sigmund

VSL Public Lecture: Gödel in Vienna (abstract)

Wednesday, July 16th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-13:00 Session 56B: Proofs and Verification

Chair:

Kaustuv Chaudhuri

Location: FH, Hörsaal 5

10:45	Danko Ilik Axioms and Decidability for Type Isomorphism in the Presence of Sums (abstract)
11:15	Pierre-Marie Pédrot A functional functional interpretation (abstract)
11:45	Nicolas Guenot and Lutz Strassburger Symmetric Normalisation for Intuitionistic Logic (abstract)
12:15	Matt Fredrikson and Somesh Jha Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties (abstract)

08:45-10:15 Session 57: VSL Keynote Talk

Chair:

Matthias Baaz

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Alex Wilkie

VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

14:30-16:00 Session 59A: Graphs and Logic

Chair:

Neil Immerman

Location: FH, Hörsaal 1

14:30	Stephan Kreutzer and Nicole Schweikardt On Hanf-equivalence and the number of embeddings of small induced subgraphs (abstract)
15:00	Hubie Chen and Moritz Mueller One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries (abstract)
15:30	Hubie Chen The Tractability Frontier of Graph-Like First-Order Query Sets (abstract)

14:30-16:00 Session 59B: Types and Specifications

Chair:

Laurent Doyen

Location: FH, Hörsaal 5

14:30	Julien Cretin and Didier Rémy System F with Coercion Constraints (abstract)
15:00	Grgur Petric Maretic, Mohammad Torabi Dashti and David Basin Anchored LTL Separation (abstract)
15:30	Joost-Pieter Katoen, Lei Song and Lijun Zhang Probably Safe or Live (abstract)

16:00-16:30Coffee Break

16:30-18:30 Session 61A: Guarded and Separation Logics

Chair:

Anuj Dawar

Location: FH, Hörsaal 1

16:30	Michael Benedikt, Balder Ten Cate and Michael Vanden Boom Effective Interpolation and Preservation in Guarded Logics (abstract)
17:00	Stephane Demri and Morgan Deters Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction (abstract)
17:30	James Brotherston, Carsten Fuhs, Nikos Gorogiannis and Juan Navarro Perez A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates (abstract)

16:30-18:30 Session 61B: Proof Theory

Chair:

Damiano Mazza

Location: FH, Hörsaal 5

16:30	Marcelo Fiore and Sam Staton Substitution, jumps, and algebraic effects (abstract)
17:00	Willem Heijltjes and Robin Houston No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete (abstract)
17:30	Kaustuv Chaudhuri and Nicolas Guenot Equality and Fixpoints in the Calculus of Structures (abstract)

Thursday, July 17th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)

Chair:

Moshe Vardi

Location: FH, Hörsaal 1

08:45

Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel and Andrei Voronkov

FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)

Wednesday, July 16th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

19:00-21:30 Session 64: VSL Banquet 1

Location: Schönbrunn

Thursday, July 17th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:45-13:00 Session 66AA: Model Theory and Complexity

Chair:

Leszek Pacholski

Location: FH, Hörsaal 1

10:45	Jerome Leroux, M. Praveen and Grégoire Sutre Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems (abstract)
11:15	Frederik Harwath, Lucas Heimberg and Nicole Schweikardt Preservation and Decomposition Theorems for Bounded Degree Structures (abstract)
11:45	Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase (abstract)
12:15	Katja Losemann and Wim Martens MSO Queries on Trees: Enumerating Answers under Updates (abstract)

10:45-13:00 Session 66AB: Semantics and Verification

Chair:

Damiano Mazza

Location: FH, Hörsaal 5

10:45	Paul Blain Levy and Sam Staton Transition systems over games (abstract)
11:15	Naohiko Hoshino, Koko Muroya and Ichiro Hasuo Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects (abstract)
11:45	Takeshi Tsukada and Luke Ong Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees (abstract)
12:15	Konstantinos Mamouras On the Hoare Theory of Monadic Recursion Schemes (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 75AA: Models and Games

Chair:

Neil Immerman

Location: FH, Hörsaal 1

14:30	Witold Charatonik, Emanuel Kieronski and Filip Mazowiecki Decidability of Weak Logics with Deterministic Transitive Closure (abstract)
15:00	Romain Brenguier, Jean-Francois Raskin and Mathieu Sassolas The Complexity of Admissibility in Omega-Regular Games (abstract)
15:30	Diego Figueira and Leonid Libkin Pattern Logics and Auxiliary Relations (abstract)

14:30-16:00 Session 75AB: Programming Language Semantics

Chair:

James Riely

Location: FH, Hörsaal 5

14:30	Niels Bjørn Bugge Grathwohl, Dexter Kozen and Konstantinos Mamouras KAT + B! (abstract)
15:00	Flavien Breuvart On the characterization of models of H* (abstract)
15:30	Alan Jeffrey Functional Reactive Types (abstract)

16:00-16:30Coffee Break

16:30-19:00 Session 79A: VSL Joint Award Ceremony 1

Chair:

Matthias Baaz

Location: MB, Kuppelsaal

16:30	Kurt Gödel Research Prize Fellowships Program Foundations and Technology Competitions Award Ceremony (abstract)
17:30	Floc Olympic Games FLoC Olympic Games Award Ceremony 1 (abstract)
18:15	Helmut Veith FLoC Closing Week 1 (abstract)

19:00-20:00 Session 84A: LICS Business Meeting

Location: FH, Hörsaal 1

Friday, July 18th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-18:00 Session 87D: FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (joint with 9 other meetings)

Location: EI, Foyer

09:00

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia and Andreas Steigmiller

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (abstract)

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)

Location: FH, 2nd floor

09:00

David Cok, David Deharbe and Tjark Weber

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)

09:15-10:15 Session 88A: Invited Talk by Christel Baier

Chair:

Catuscia Palamidessi

Location: FH, Hörsaal 1

09:15

Christel Baier, Clemens Dubslaff and Sascha Klueppelholz

Trade-Off Analysis Meets Probabilistic Model Checking (abstract)

Thursday, July 17th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

21:00-23:59 Session 89: VSL Student Reception 1

Location: Transporter

Friday, July 18th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:15-10:45Coffee Break

10:45-13:00 Session 90AA: Programming Logics

Chair:

Krishnendu Chatterjee

Location: FH, Hörsaal 1

10:45	Christoph Haase Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy (abstract)
11:15	Marco Bernardo, Davide Sangiorgi and Valeria Vignudelli On the Discriminating Power of Passivation and Higher-Order Interaction (abstract)
11:45	Eugene Asarin, Michel Bockelet, Aldric Degorre, Cătălin Dima and Chunyan Mu Asymptotic behaviour in temporal logic (abstract)
12:15	Christel Baier, Joachim Klein, Sascha Klueppelholz and Sascha Wunderlich Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (abstract)

10:45-13:00 Session 90AB: Proof Theory

Chair:

Simona Ronchi Della Rocca

Location: FH, Hörsaal 5

10:45	Matthieu Perrinel On Context Semantics for Interaction Nets (abstract)
11:15	Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo and Akira Yoshimizu The Geometry of Synchronization (abstract)
11:45	Thomas Ehrhard A new correctness criterion for MLL proof nets (abstract)
12:15	Ranko Lazić and Sylvain Schmitz Non-Elementary Complexities for Branching VASS, MELL, and Extensions (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 96AB: Games and Finite Models

Chair:

Jan Otop

Location: FH, Hörsaal 1

14:30	Rajeev Alur, Adam Freilich and Mukund Raghothaman Regular Combinators for String Transformations (abstract)
15:00	Joerg Endrullis and Dimitri Hendriks On Periodically Iterated Morphisms (abstract)
15:30	Yaron Velner Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives (abstract)

14:30-16:00 Session 96AC: Types

Chair:

Luke Ong

Location: FH, Hörsaal 5

14:30	Rasmus Ejlers Møgelberg A type theory for productive coprogramming via guarded recursion (abstract)
15:00	Guillaume Munch-Maccagnoni Formulae-as-Types for an Involutive Negation (abstract)
15:30	Daniel R. Licata and Eric Finster Eilenberg-MacLane Spaces in Homotopy Type Theory (abstract)