Talks will be held at Moscow Center for Continuous Mathematical Education (Bolshoj Vlasjevskij 11, Conference hall, 4th floor).

IMPORTANT: The timing for contributed talks includes 5 minutes break for changing the computer, etc.

Coffee breaks will be in the room 310.

Saturday, June 7
10:00-11:00Opening lecture: Shafi Goldwasser. Title TBA
11:00-11:35Magnus Find. On the Complexity of Computing Two Nonlinearity Measures
11:35-12:00Coffee break
12:00-12:35Vladimir Krupski. Primal implication as encryption
12:35-13:10V Arvind, S Raja and A.V Sreejith. On Lower Bounds for Multiplicative Circuits and Linear Circuits in Noncommutative Domains
13:10-15:00Lunch ad libitum
15:00-16:00Invited talk: Benjamin Rossman. Formulas vs. Circuits
16:00-16:30Coffee break
16:30-17:05Nikolay Vereshchagin. Randomized communication complexity of approximating Kolmogorov complexity
17:05-17:40Abhishek Bhrushundi, Sourav Chakraborty and Raghav Kulkarni. Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees
Sunday, June 8
09:30-10:30Invited talk: Volker Diekert (joint with Artur Jez and Wojciech Plandowski). Finding All Solutions of Equations in Free Groups and Monoids with Involution
10:30-11:05Huiwen Yu and Martin Fürer. Space Saving by Dynamic Algebraization
11:05-11:30Coffee break
11:30-12:05Henning Fernau and Juan A. Rodriguez. Notions of metric dimension of corona products: combinatorial and computational results
12:05-12:40Barnaby Martin and Juraj Stacho. Constraint Satisfaction with Counting Quantifiers 2
12:40-14:30Lunch ad libitum
14:30-18:30Social program
19:00Conference dinner
Monday, June 9
09:30-10:30Invited talk: Alexei Semenov (joint with Sergey Soprunov and Vladimir Uspensky). The Lattice of Definability. Origins, Recent Developments, and Further Direction
10:30-11:05Pawel Parys. First-Order Logic on CPDA Graphs
11:05-11:30Coffee break
11:30-12:05Milka Hutagalung and Martin Lange. Model Checking for String Problems
12:05-12:40Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry. Separation Logic with One Quantified Variable
12:40-14:30Lunch ad libitum
14:30-15:30Invited talk: Igor Walukiewicz. Transfer theorems
15:30-16:05Lukas Fleischer, Manfred Kufleitner and Alexander Lauser. Block Products and Nesting Negations in FO^2
16:05-16:30Coffee break
16:30-17:05Bakhadyr Khoussainov, Frank Stephan, Sanjay Jain, Dan Teng and Siyuan Zou. Semiautomatic structures
17:05-17:40Rupam Acharyya, Sourav Chakraborty and Nitesh Jha. Counting Popular Matchings in House Allocation Problems
Tuesday, June 10
09:30-10:30Invited talk: Martin Grohe. Algorithmic Meta Theorems for Sparse Graph Classes
10:30-11:05Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer and Sebastian Siebertz. Vertex Disjoint Paths in Upward Planar Graphs
11:05-11:30Coffee break
11:30-12:05Anudhyan Boral, Marek Cygan, Tomasz Kociumaka and Marcin Pilipczuk. Fast Branching Algorithm for Cluster Vertex Deletion
12:05-12:40Heidi Jazmin Romero Gonzalez and Alejandro Lopez-Ortiz. A Parameterized Algorithm for Packing Overlapping Subgraphs
12:40-14:30Lunch ad libitum
14:30-15:05Julia Schueler and Andreas Spillner. Crossing-free spanning trees in visibility graphs of points between monotone polygonal obstacles
15:05-15:40Jenish C. Mehta. Dynamic Complexity of Planar 3-connected Graph Isomorphism
15:40-16:00Coffee break
16:00-16:35Victor Pan. Fast Approximate Computations with Cauchy Matrices, Polynomials and Rational Functions
16:35-17:10Markus Lohrey and Manfred Schmidt-Schauss. Processing Succinct Matrices and Vectors
17:10-17:30Coffee break
17:30-18:00Business meeting
Wednesday, June 11
9:30-10:30Invited talk: Mark Braverman. Error-correction for interactive computation
10:30-11:00Coffee break
11:00-11:35Akinori Kawachi, Benjamin Rossman and Osamu Watanabe. The Query Complexity of Witness Finding
11:35-12:10Konrad Schwerdtfeger. The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits
12:10-14:00Lunch ad libitum
14:00-14:35Martijn Baartse and Klaus Meer. Testing low degree trigonometric polynomials
14:35-15:10Max Rabkin. Recognizing two-sided contexts in cubic time
15:10-15:45Stefan Edelkamp and Armin Weiss. QuickXsort: Efficient Sorting with n log n - 1.399n + o(n) Comparisons on Average
15:45-16:00Conference closing, farewell