Sunday, July 12
18:00-21:00Welcoming reception
Monday, July 13
10:00-11:00Opening lecture: Moshe Vardi. A Theory of Regular Queries
11:00-11:30Coffee break
11:30-12:00Volker Diekert, Florent Martin, Geraud Senizergues and Pedro V. Silva. Equations over free inverse monoids with idempotent variables
12:00-12:30Martin Zimmermann. Delay Games with WMSO+U Winning Conditions
12:30-13:00Claudia Carapelle, Shiguang Feng, Alexander Kartzow and Markus Lohrey. Satisfiability of ECTL with tree constraints
13:00-14:30Lunch ad libitum
14:30-15:00Nathann Cohen, Daniel Gon├žalves, Eun Jung Kim, Christophe Paul, Ignasi Sau, Dimitrios Thilikos and Mathias Weller. A Polynomial-time Algorithm for Outerplanar Diameter Improvement
15:00-15:30N.S. Narayanaswamy and Rahul Cs. Approximation and Exact Algorithms for special cases of Connected f-Factors
15:30-16:00Coffee break
16:00-16:30Konrad Kazimierz Dabrowski, Petr Golovach, Pim Van 'T Hof, Daniel Paulusma and Dimitrios Thilikos. Editing to a planar graph of given degrees
16:30-17:00Alexander V. Karzanov and Maxim A. Babenko. A combinatorial algorithm for the planar multiflow problem with demands located on three holes
17:30-20:00Optional social program events
Tuesday, July 14
10:00-11:00Invited talk: Samuel R. Buss. Propositional Proofs in Frege and Extended Frege Systems
11:00-11:30Coffee break
11:30-12:00Dmitry Sokolov, Dmitry Itsykson and Mikhail Slabodkin. Resolution complexity of perfect matching principles for sparse graphs
12:00-12:30Alexander Knop. Circuit Lower Bounds for Average-Case MA
12:30-13:00Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen. An In-Place Priority Queue with O(1) Time for Push and lg n + O(1) Comparisons for Pop
13:00-14:30Lunch ad libitum
14:30-15:00Julien Cassaigne, Juhani Karhumaki and Aleksi Saarela. On growth and fluctuation of k-abelian complexity
15:00-15:30Mikhail Barash and Alexander Okhotin. Generalized LR parsing for grammars with contexts
15:30-16:00Coffee break
16:00-16:30Marina Maslennikova and Emanuele Rodaro. Representation of (Left) Ideal Regular Languages by Synchronizing Automata
16:30-17:00Violetta Lonati, Dino Mandrioli, Federica Panella and Matteo Pradella. First-order Logic Characterization of Free Languages
17:00-17:30Business meeting (including Best paper awards)
17:30-20:00Optional social program events
Wednesday, July 15
09:00-13:00Social Program: Ship tour to Bolshie Koty
13:00-14:00Social Program: Lunch at the hotel
14:00-17:00Social Program: Bus tour to Taltsy
17:30-20:00Conference dinner
Thursday, July 16
10:00-11:00Invited talk: Vladimir Podolskii. Circuit Complexity Meets Ontology-Based Data Access
11:00-11:30Coffee break
11:30-12:00Simone Bova and Friedrich Slivovsky. On Compiling Structured CNFs to OBDDs
12:00-12:30Mateus de Oliveira Oliveira. On the Satisfiability of Quantum Circuits of Small Treewidth
12:30-13:00Alexander Kozachinskiy. Making Randomness Public in Unbounded-round Information Complexity
13:00-14:30Lunch ad libitum
14:30-15:00Fairouz Kamareddine, Joe Wells and Daniel Ventura. The Barendregt Cube with the Automath type inclusion
15:00-15:30Bruno Woltzenlogel Paleo and Christoph Benzm├╝ller. Interacting with Modal Logics in the Coq Proof Assistant
15:30-16:00Coffee break
16:00-16:30Vincent Penelle. Rewriting Higher-Order Stack Trees
16:30-17:00Jozef Jirasek, Galina Jiraskova and Alexander Szabari. Operations on Self-Verifying Finite Automata
17:30-20:00Optional social program events
Friday, July 17
10:00-11:00Invited talk: Phokion Kolaitis. The Ubiquity of Database Dependencies
11:00-11:30Coffee break
11:30-12:00Florian Zuleger. Asymptotically Precise Ranking Functions for Deterministic Size-change Systems
12:00-12:30Antonis Achilleos. NEXP-completeness and Universal Hardness Results for Justification Logic
12:30-13:00Alexey Milovanov. Some properties of antistochastic strings
13:30-14:00Manfred Droste and Vitaly Perevoshchikov. Logical Characterization of Timed Pushdown Languages
14:00-14:30Conference closing, farewell
14:30-16:00Lunch ad libitum
17:30-20:00Optional social program events
Saturday, July 18
09:00-22:30Social Program: (optional) Circum-Baikal historical railway (as possible transfer to Irkutsk)