Logic Seminar Spring '22

The seminar will this term partly be strictly online, via Zoom, and partly take place in the lecture room UE32 at the basement of the Math. building. When/if convenient we may organise a Zoom-link to the lecture room.

The program is tentative, and may be subject to changes and supplements.

 

Program

27.01.22 Setting up the program

03.02.22 Dag Normann (Zoom only), The complexity of operators constructed in mainstream mathematics, pre-version of talk to the CMU logic seminar on February 15.

17.02.22 Neil Barton (UE32), Is it restrictive to say that there are uncountable sets?

10.03.22 (UE32 occupied by Open Day arrangement)

17.03.22 Lars Kristiansen (UE32)

24.03.22 Frode Bjørdal (Zoom only) , Librationist Syntactical Modalities.

21.04.22 Øystein Linnebo

05.05.22 Laura Crosilla

 

Published Jan. 27, 2022 1:54 PM - Last modified Feb. 18, 2022 1:06 PM