Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
12 Apr 2017
17:00

S17 #04-05 SR2
Michael McInerney
Nanyang Technological University
Multiple Genericity
05 Apr 2017
17:00

S17 #04-05 SR2
Teoh Zu Yao
Univerisiti Sains Malaysia
Ramsey algebras, origin & open problems
29 Mar 2017
17:00

S17 #04-05 SR2
Juris Steprans
York University
Universal structures without saturation
22 Mar 2017
17:00

S17 #04-05 SR2
Frank Stephan
National University of Singapore
Finitely generated semiautomatic groups
15 Mar 2017
17:00

S17 #04-05 SR2
Wu Guohua
Nanyang Technological University
Constructions of dre degrees: hard questions, easy proofs
08 Mar 2017
17:00

S17 #04-05 SR2
Steffen Lempp
University of Wisconsin at Madison
On Cototality and the Skip Operator in the Enumeration Degrees
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

h1
vc1