21-22 Nov 2022 Montpellier (France)

Program

Monday, November 21, 2022

Time Event (+)
09:30 - 10:30 Sebastian Siebertz: Algorithmic meta-theorems (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Sebastian Siebertz  
10:30 - 11:00 Coffee break (Salle 02-022 (JPN), Bât 5, Campus St Priest)  
11:00 - 11:30 Colin Geniet: First-order logic and twin-width in tournaments (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Colin Geniet  
11:30 - 12:00 Stefan Szeider: From Twin-Width to Propositional Logic and Back (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Stefan Szeider  
12:00 - 12:30 Giannos Stamoulis: Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classe (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Giannos Stamoulis  
12:30 - 15:00 Lunch (Salle 02-022 (JPN), Bât 5, Campus St Priest)  
15:00 - 16:00 Szymon Toruńczyk: On monadically stable and monadically NIP classes of graphs (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Szymon Toruńczyk  
16:00 - 16:30 Coffee break (Salle 02-022 (JPN), Bât 5, Campus St Priest)  
16:30 - 17:00 Zdeněk Dvořák: Approximation meta-algorithms for FO properties (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Zdeněk Dvořák  
17:00 - 17:30 Peter Rossmanith: Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Peter Rossmanith  
17:30 - 18:30 Open problems session - Open problems session  

Tuesday, November 22, 2022

Time Event (+)
09:30 - 10:30 Albert Atserias: Are Average-Case Lower Bounds for Symmetric Boolean Circuits Within Reach? (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Albert Atserias  
10:30 - 11:00 Coffee break (Salle 02-022 (JPN), Bât 5, Campus St Priest)  
11:00 - 11:30 Lars Jaffke: A logic-based algorithmic meta-theorem for mim-width (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Lars Jaffke  
11:30 - 12:00 Ignasi Sau: Compound Logics for Modification Problems (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Ignasi Sau  
12:00 - 12:30 Matthieu Rosenfeld: Bounding the number of sets defined by a given MSO formula on trees (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Matthieu Rosenfeld  
12:30 - 15:00 Lunch (Salle 02-022 (JPN), Bât 5, Campus St Priest)  
15:00 - 16:00 Anuj Dawar: Seese's conjecture: an update (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Anuj Dawar  
16:00 - 16:30 Coffee break (Salle 02-022 (JPN), Bât 5, Campus St Priest)  
16:30 - 17:00 Kreutzer: Model Checking on Interpretations of Classes of Bounded Local Cliquewidth (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Stephan Kreutzer  
17:00 - 17:30 Mamadou Kanté: MSOL-definability of decompositions (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Mamadou Kanté  
17:30 - 18:00 Monadic NIP in monotone classes of relational structures - Ioannis Eleftheriadis (Salle 02-022 (JPN), Bât 5, Campus St Priest) - Ioannis Eleftheriadis  
Online user: 1 Privacy
Loading...