Logic Colloquium 2022

M105

Location

Room M105 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, take the first corridor to your right, then go left and take the second door to your right to enter M105. Image: path to M105.

Talks in this room:
Tuesday
 11:30 ! Live

Big Ramsey degrees of unconstrained ω-categorical structures.

Matej Konecny

 11:50 ! Live

Big Ramsey degrees and trees with sucessor operation.

Jan Hubicka

 12:10 ! Live

Weakly Menger Ditopological Texture Spaces

Hafiz Ullah

Wednesday
 16:30 ! Live

Propositional identity. From semantics to proof theory.

Agata Tomczyk

 16:50 ! Live

Meaning is Use - the Case of Propositional Identity.

Szymon Chlebowski

 17:10 ! Live

Methods of modelling linear time in hypersequent calculus.

Patrycja Kupś

If you encounter any issues with this website, please get in touch with Léo Exibard.