|
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 |
|
|