Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
22 Aug 2019
17:00

S17 #06-11
16 Jul 2019
16:00

S17 #04-06 SR1
Andre Nies
University of Auckland
Random sequences of quantum bits
08 May 2019
17:00

S17 #04-06 SR1
Borisa Kuzeljevic
University of Novi Sad
Matrices of countable elementary submodels
17 Apr 2019
17:00

S17 #04-06 SR1
10 Apr 2019
17:00

S17 #04-06 SR1
03 Apr 2019
17:00

S17 #04-06 SR1
Wu Guohua
Nanyang Technological University
wtt-degrees of dre sets
27 Mar 2019
17:00

S17 #04-06 SR1
Ashutosh Kumar
National University of Singapore
Order dimension of Turing degrees
13 Mar 2019
17:00

S17 #04-06 SR1
Wong Tin Lok
National University of Singapore
End extensions and subsystems of second-order arithmetic
06 Mar 2019
17:00

S17 #04-06 SR1
Dilip Raghavan
National University of Singapore
A small ultrafilter number
20 Feb 2019
17:00

S17 #04-06 SR1
13 Feb 2019
17:00

S17 #04-06 SR1
Matthias Baaz
Technical University of Vienna
On the benefit of unsound rules: Henkin quantifiers and beyond
30 Jan 2019
17:00

S17 #04-06 SR1
23 Jan 2019
17:00

S17 #04-06 SR1
16 Jan 2019
17:00

S17 #04-06 SR1
Frank Stephan
National University of Singapore
Lampligher groups and automata
21 Nov 2018
17:00

S17 #04-05 SR2
14 Nov 2018
17:00

S17 #04-05 SR2
07 Nov 2018
17:00

S17 #04-05 SR2
31 Oct 2018
17:00

S17 #04-05 SR2
24 Oct 2018
17:00

S17 #04-05 SR2
Frank Stephan
National University of Singapore
A fast exponential time algorithm for Max Hamming Distance X3SAT
17 Oct 2018
17:00

S17 #04-05 SR2
Dilip Raghavan
National University of Singapore
Order dimension