Main - M101

Location

M101 is the main room, where plenary talks will take place. Social events (welcome reception and dinner) are also mentioned here, so as not to clutter the presentation of the schedule. Click on the event to know where it actually takes place.

Room M101 is located on the first floor of the Mars area. When entering the university, you are in the Sun. Go left to reach the Mars/Venus aisle, and immediately take the door to the right to reach M101. Image: path to M101.

Talks in this room:

Monday

8:30 Live	Morning Coffee
8:50 Live	Welcome
9:00 Live	On differential expansions of topological fields Françoise Point
10:00 Live	Coffee Break
10:20 Live	Primitive recursive mathematics Alexander Melnikov
11:20 Live	Coffee Break
11:30 Live	Do syntactic features supervene on semantic ones in foundations of mathematics? A few starting points Juliette Kennedy
12:30 Live	Lunch Break
17:30 Live	Welcome Reception

Tuesday

8:30 Live	Morning Coffee
9:00 Live	Gödel Lecture - Formalism in Logic Patricia Blanchette
10:00 Live	Coffee Break
10:20 Live	The uniform Kruskal theorem: a bridge between finite combinatorics and abstract set existence Anton Freund
11:20 Live	Coffee Break
12:30 Live	Lunch Break

Wednesday

8:30 Live	Morning Coffee
9:00 Live	Blurry HOD - a sketch of a landscape Gunter Fuchs
10:00 Live	Coffee Break
10:20 Live	Complexity of equations solving – kith and kin Paweł Idziak
11:20 Live	Coffee Break
12:30 Live	Lunch Break
19:00 Live	Dinner

Thursday

8:30 Live	Morning Coffee
9:00 Live	Limits of applicability of Gödel’s second incompleteness theorem Fedor Pakhomov
10:00 Live	Coffee Break
10:20 Live	Automating Resolution is NP-hard Moritz Müller
11:20 Live	Coffee Break
12:30 Live	Lunch Break
14:00 Live	Tutorial - Computable reductions of equivalence relations Luca San Mauro
15:30 Live	Coffee Break
15:50 Live	Tutorial - Algebra and Logic in the Complexity of Constraints Libor Barto

Friday

8:30 Live	Morning Coffee
9:00 Live	Games on classifiable C*-algebras Andrea Vaccaro
10:00 Live	Coffee Break
10:20 Live	On the actions of finite permutation groups on groups of finite Morley rank Tuna Altinel
11:20 Live	Coffee Break
11:30 Live	Classification via effective lists Karen Lange
12:30 Live	Lunch Break