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