Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
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
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