Program

Week Mon. 21 Tue. 22 List

	Mon. 21	Tue. 22
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00	Sebastian Siebertz: Algorithmic meta-theorems 9:30 - 10:30 (1h) Sebastian Siebertz: Algorithmic meta-theorems Salle 02-022 (JPN), Bât 5, Campus St Priest Sebastian Siebertz Coffee break 10:30 - 11:00 (30min) Coffee break Salle 02-022 (JPN), Bât 5, Campus St Priest Colin Geniet: First-order logic and twin-width in tournaments 11:00 - 11:30 (30min) Colin Geniet: First-order logic and twin-width in tournaments Salle 02-022 (JPN), Bât 5, Campus St Priest Colin Geniet Stefan Szeider: From Twin-Width to Propositional Logic and Back 11:30 - 12:00 (30min) Stefan Szeider: From Twin-Width to Propositional Logic and Back Salle 02-022 (JPN), Bât 5, Campus St Priest Stefan Szeider Giannos Stamoulis: Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classe 12:00 - 12:30 (30min) 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 Lunch 12:30 - 15:00 (2h30) Lunch Salle 02-022 (JPN), Bât 5, Campus St Priest Szymon Toruńczyk: On monadically stable and monadically NIP classes of graphs 15:00 - 16:00 (1h) 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 Coffee break 16:00 - 16:30 (30min) Coffee break Salle 02-022 (JPN), Bât 5, Campus St Priest Zdeněk Dvořák: Approximation meta-algorithms for FO properties 16:30 - 17:00 (30min) Zdeněk Dvořák: Approximation meta-algorithms for FO properties Salle 02-022 (JPN), Bât 5, Campus St Priest Zdeněk Dvořák Peter Rossmanith: Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond 17:00 - 17:30 (30min) 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 Open problems session 17:30 - 18:30 (1h) Open problems session Open problems session	Albert Atserias: Are Average-Case Lower Bounds for Symmetric Boolean Circuits Within Reach? 9:30 - 10:30 (1h) 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 Coffee break 10:30 - 11:00 (30min) Coffee break Salle 02-022 (JPN), Bât 5, Campus St Priest Lars Jaffke: A logic-based algorithmic meta-theorem for mim-width 11:00 - 11:30 (30min) Lars Jaffke: A logic-based algorithmic meta-theorem for mim-width Salle 02-022 (JPN), Bât 5, Campus St Priest Lars Jaffke Ignasi Sau: Compound Logics for Modification Problems 11:30 - 12:00 (30min) Ignasi Sau: Compound Logics for Modification Problems Salle 02-022 (JPN), Bât 5, Campus St Priest Ignasi Sau Matthieu Rosenfeld: Bounding the number of sets defined by a given MSO formula on trees 12:00 - 12:30 (30min) 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 Lunch 12:30 - 15:00 (2h30) Lunch Salle 02-022 (JPN), Bât 5, Campus St Priest Anuj Dawar: Seese's conjecture: an update 15:00 - 16:00 (1h) Anuj Dawar: Seese's conjecture: an update Salle 02-022 (JPN), Bât 5, Campus St Priest Anuj Dawar Coffee break 16:00 - 16:30 (30min) Coffee break Salle 02-022 (JPN), Bât 5, Campus St Priest Kreutzer: Model Checking on Interpretations of Classes of Bounded Local Cliquewidth 16:30 - 17:00 (30min) Kreutzer: Model Checking on Interpretations of Classes of Bounded Local Cliquewidth Salle 02-022 (JPN), Bât 5, Campus St Priest Stephan Kreutzer Mamadou Kanté: MSOL-definability of decompositions 17:00 - 17:30 (30min) Mamadou Kanté: MSOL-definability of decompositions Salle 02-022 (JPN), Bât 5, Campus St Priest Mamadou Kanté Monadic NIP in monotone classes of relational structures - Ioannis Eleftheriadis 17:30 - 18:00 (30min) 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