Monday, March 14 |
09:55 - 10:45 | Avrim Blum:
Reconstructing Preferences from Opaque Transactions - Invited Lecture |
11:15 - 12:30 | Franz Baader, Andreas Ecke:
Reasoning with Prototypes in the Description Logic ALC using Weighted Tree Automata |
Parvaneh Babari, Nicole Schweikardt:
+ω-Picture Languages Recognizable by Büchi-Tiling Systems |
Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade, Ashutosh Trivedi:
A Logical Characterization for Dense-Time Visibly Pushdown Automata |
14:00 - 15:15 | Dana Fisman:
A Complexity Measure on Büchi Automata |
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes |
Heiko Vogler, Manfred Droste, Luisa Herrmann:
A Weighted MSO Logic with Storage Behaviour and its Büchi-Elgot-Trakhtenbrot Theorem |
15:30 - 16:45 | Rajeev Alur, Dana Fisman:
Colored Nested Words |
Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
Input-Driven Queue Automata with Internal Transductions |
Klaus Meer, Ameen Naif:
Periodic Generalized Automata over the Reals |
Tuesday, March 15 |
09:00 - 09:50 | Martin Grohe:
Tangles and Connectivity in Graphs - Invited Lecture |
10:05 - 11:20 |
Rick Smetsers, Joshua Moerman, David N. Jansen:
Minimal Separating Sequences for All Pairs of States |
Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions |
Hélène Touzet:
On the Levenshtein Automaton and the Size of the Neighbourhood of a Word |
11:50 - 13:05 | Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay:
Parallelogram Morphisms and Circular Codes |
Ananda Chandra Nayak, Amit K. Srivastava:
On Del-Robust Primitive Partial Words with One Hole |
Maxime Crochemore, Roman Kolpakov, Gregory Kucherov:
Optimal Bounds for Computing α-gapped Repeats |
14:35 - 15:50 | Kazuyuki Amano:
On XOR Lemma for Polynomial Threshold Weight and Length |
Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao:
The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line |
Silke Czarnetzki, Andreas Krebs:
Using Duality in Circuit Complexity |
16:05 - 17:20 |
Gabriel Istrate, Cosmin Bonchiş, Liviu Dinu:
The Minimum Entropy Submodular Set Cover Problem |
Orna Kupferman, Sarai Sheinvald:
On the Capacity of Capacitated Automata |
Holger Spakowski:
On Limited Nondeterminism and ACC Circuit Lower Bounds |
Wednesday, March 16 |
09:00 - 09:50 | Frank Wolter:
Automata for Ontologies - Invited Lecture |
10:05 - 11:20 |
Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura:
The Complexity of Induced Tree Reconfiguration Problems |
Stefano Crespi Reghizzi, Pierluigi San Pietro:
The Missing Case in Chomsky-Schützenberger Theorem |
Séverine Fratani, El Makki Voundy:
Homomorphic Characterizations of Indexed Languages |
11:50 - 13:05 | Makoto Kanazawa:
Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy |
Sebastian Berndt, Rüdiger Reischuk:
Steganography Based on Pattern Languages |
Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han:
Inferring a Relax NG Schema from XML Documents |
14:35 - 15:50 | Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth:
Noise Free Multi-armed Bandit Game |
Johannes Blum, Frank Drewes:
Properties of Regular DAG Languages |
Adrien Boiret:
Normal Form on Linear Tree-to-Word Transducers |
Thursday, March 17 |
09:00 - 09:50 |
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas:
Non-zero Sum Games for Reactive Synthesis - Invited Lecture |
10:05 - 11:20 | Manfred Droste, Zoltán Fülöp, Doreen Götze:
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids |
Nadia Labai, Johann A. Makowsky:
Hankel Matrices for Weighted Visibly Pushdown Automata |
Johannes Osterholzer, Toni Dietze, Luisa Herrmann:
Linear Context-Free Tree Languages and Inverse Homomorphisms |
11:50 - 13:05 |
Paul C. Bell, Shang Chen, Lisa Jackson:
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages |
Tatiana Baginová Jajcayová:
The Word Problem for HNN-Extensions of Free Inverse Semigroups |
Henrik Björklund, Frank Drewes, Petter Ericson:
Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars |
14:35 - 16:05 | Giovanni Pighizzini:
Restricted Turing Machines and Language Recognition (I) - Invited Tutorial |
16:20 - 17:10 |
Sanguthevar Rajasekaran, Marius Nicolae:
An Error Correcting Parser for Context-Free Grammars that Takes Less than Cubic Time |
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux:
Accurate Approximate Diagnosability of Stochastic Systems |