M208

Location

Room M208 is located on the second floor of the Mars area. When entering the university, you are in the Sun. Go left to reach the Mars/Venus aisle. Then, take the stairs and go to the right. Take the door to the left, and enter M208 on your right (first door). Image: path to M208.

Talks in this room:

Monday

14:00 Live	Model Theory - Kim’s lemmas and tree properties Alex Kruckman
14:30 Live	Model Theory - Tameness in positive logic Jan Dobrowolski
15:00 Live	Coffee Break
15:20 Live	Model Theory - Elimination of imaginaries in ℂ((t^Γ)) Mariana Vicaria
15:50 Live	Model Theory - Monadic dividing lines and hereditary classes Sam Braunfeld
16:20 Live	Coffee Break
16:30 Live	Model Theory - Henselian discretely valued fields and existential AKE principles Sylvy Anscombe
17:00 Live	Model Theory - The Elekes-Szabó problem for cubic surfaces Tingxiang Zou

Tuesday

11:30 Live	Abstract Lindenbaum lemma for non-finitary consequence relations. Petr Cintula
11:50 Live	Symmetry, locality and hyperintensionality Maria Beatrice Buonaguidi
12:10 Live	A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable. José M. Méndez
14:00 Live	Philosophy of Mathematics - Geometrizing Kripke modal semantics Brice Halimi
14:30 Live	Philosophy of Mathematics - Hermann Weyl and the roots of mathematical logic Laura Crosilla
15:00 Live	Coffee Break
15:20 Live	Philosophy of Mathematics - Conceptions of absolute generality Salvatore Florio
15:50 Live	Philosophy of Mathematics - MOON theory: Mathematical Objects with Ontological Neutrality Tim Button

Wednesday

11:30 Live	Set Theory - Some remarks on Namba-type forcings Ben De Bondt
12:00 Live	Set Theory - P-measures in random extensions Damian Sobota
14:00 Live	Set Theory - Independence for uncountable cardinals Diana Carolina Montoya
14:30 Live	Set Theory - Making the diamond principle fail at an inaccessible cardinal Jing Zhang
15:00 Live	Coffee Break
15:20 Live	Set Theory - A stationary-tower-free proof of Sealing from a supercompact Sandra Müller
15:50 Live	Set Theory - Club stationary reflection and consequences of square principles Thomas Daniells Gilton
16:20 Live	Coffee Break
16:30 Live	Equivalence relations and learning of algebraic structures. Vittorio Cipriani
16:50 Live	A computability perspective on verified machine learning. Tonicha Crook
17:10 Live	Effective Concept Classes of PAC and PACi Incomparable Degrees and Jump Structure. Gihanee M. D. Senadheera

Thursday

11:30

Descriptive complexity for hard counting problems with easy decision versions

Aggeliki Chalki

11:50

Runtime monitoring for Hennessy-Milner logic with recursion over systems with data

Léo Exibard

12:10

Gödel Temporal Logic

Brett McLean

Friday

14:00 Live	Exponential sums equations and tropical geometry. Francesco Gallinaro
14:20 Live	Games and Scott sentences for positive distances between metric structures. Joni Puljujarvi
14:40 Live	On theories of dense spherical orders. Sergey Sudoplatov
15:00 Live	Coffee Break
15:20 Live	Categorical representation of discrete dynamical systems computability Mark Addis
15:40 Live	Categoricity ordinals and models of Presburger arithmetic Jason Block
16:00 Live	The categoricity of complete theories in second-order logic. Tapio Saarinen
16:20 Live	Coffee Break
16:30 Live	More on Constructive Nonsense Logic Hitoshi Omori
16:50 Live	Model-theoretical characterizations of truth Mateusz Lelyk
17:10 Live	Compositional proof-theoretic semantics for natural language. Will Stafford