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