Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
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
10 Oct 2018
17:00

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

S17 #04-05 SR2
19 Sep 2018
17:00

S17 #04-05 SR2
Ashutosh Kumar
National University of Singapore
Saturated null and meager ideal
12 Sep 2018
17:00

S17 #04-05 SR2
Borisa Kuzeljevic
University of Novi Sad
P-ideal dichotomy and some versions of the Souslin's Hypothesis
05 Sep 2018
17:00

S17 #04-05 SR2
Chong Chi Tat
National University of Singapore
Cohesiveness for trees
29 Aug 2018
17:00

S17 #04-05 SR2
15 Aug 2018
17:00

S17 #04-05 SR2
Frank Stephan
National University of Singapore
Computational aspects of the hyperimmune-free degrees
26 Apr 2018
17:00

S17 #04-05 SR2
Keita Yokoyama
Japan Advanced Institute of Science and Technology
On the first-order strength of Ramsey's Theorem for Pairs
18 Apr 2018
17:00

S17 #04-06 SR1
Samuel Alfaro Tanuwijaya

Introduction to surreal numbers
11 Apr 2018
17:00

S17 #04-06 SR1
28 Mar 2018
17:00

S17 #04-06 SR1
Wu Guohua
Nanyang Technological University
A result towards Kierstead's conjecture for linear orders
21 Mar 2018
17:00

S17 #04-06 SR1
Birzhan Moldagaliyev

Automatic Randomness Tests.
14 Mar 2018
17:00

S17 #04-06 SR1
David Chodounsky
Institute of Mathematics AS CR
How to kill a P-point
07 Mar 2018
17:00

S17 #04-06 SR1
Wong Tin Lok
National University of Singapore
Induction and collection in arithmetic