Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
06 Nov 2024
17:00
S17 #04-04 (SR3)
30 Oct 2024
16:45
S17 #04-06 (SR1)
23 Oct 2024
17:00
S17 #04-04 (SR3)
09 Oct 2024
17:00
S17 #04-04 (SR3)
Athipat Thamrongthanyalak
Chulalongkorn University
Tame expansions of real closed fields and Banach fixed point property
18 Sep 2024
16:45
S17 #04-04 (SR3)
11 Sep 2024
17:00
S17 #04-04 (SR3)
04 Sep 2024
16:45
S17 #04-04 (SR3)
Chong Chi Tat
National University of Singapore
The minimal $\alpha$-degree revisited
28 Aug 2024
17:00
S17 #04-04 (SR3)
Linus Richter
National University of Singapore
Definable (Classical) Mathematics
21 Aug 2024
17:00
S17 #04-04 (SR3)
Vo Ngoc Thieu
National University of Singapore
Some Computational Aspects of Differential-Algebraic Equations (DAEs)