Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
01 Mar 2017
17:00

S17 #04-05 SR2
YU Hongyuan
Nanyang Technological University
Equivalence relation below \Delta^0_2
15 Feb 2017
17:00

S17 #04-05 SR2
David R. Belanger
National University of Singapore
Pinpointing Fraisse's Conjecture
08 Feb 2017
17:00

S17 #04-05 SR2
01 Feb 2017
17:00

S17 #04-05 SR2
Li Wei
National University of Singapore
Ramsey's theorem for trees (Part II)
25 Jan 2017
17:00

S17 #04-05 SR2
Chong Chi Tat
National University of Singapore
Ramsey's theorem for trees
18 Jan 2017
17:00

S17 #04-05 SR2
Dilip Raghavan
National University of Singapore
Michael's problem
16 Nov 2016
17:00

S17 #04-05 SR2
09 Nov 2016
17:00

S17 #04-05 SR2
David Belanger
National University of Singapore
An effective perfect-set theorem
04 Nov 2016
14:00

S17 #07-24
04 Nov 2016
13:00

S17 #07-24
02 Nov 2016
17:00

S17 #04-05 SR2
Wu Huishan
Nanyang Technological University
Avoiding degrees of orders on torsion-free abelian groups
26 Oct 2016
17:00

S17 #04-05 SR2
Sanjay Jain
National University of Singapore
Deciding parity games in quasipolynomial time
19 Oct 2016
17:00

S17 #04-05 SR2
05 Oct 2016
17:00

S17 #04-05 SR2
Reese Johnston
University of Wisconsin
Computability of isolated paths in uncountable binary trees
28 Sep 2016
17:00

S17 #04-05 SR2
Dilip Raghavan
National University of Singapore
Cardinal invariants above the continuum
14 Sep 2016
17:00

S17 #04-05 SR2
Yang Yue
National Unviersity of Singapore
λ-definable functions over real numbers
07 Sep 2016
17:00

S17 #04-05 SR2
Birzhan Moldagaliyev

Automatic complexity
31 Aug 2016
17:00

S17 #04-05 SR2
24 Aug 2016
17:00

S17 #04-05 SR2
17 Aug 2016
17:00

S17 #04-05 SR2
Chong Chitat
National University of Singapore
1-generic degrees bounding minimal degrees

h1
vc1