Sidebar

Main Menu



Quick Links

Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
08 Apr 2020
17:00

Online
01 Apr 2020
17:00

Online
Frank Stephan
National University of Singapore
Lower Bounds for the Strong N-Conjecture
18 Mar 2020
17:00

S17 #04-06 SR1
11 Mar 2020
17:00

S17 #04-06 SR1
Thilo Weinert
National University of Singapore
Polarised partition relation for order types
04 Mar 2020
17:00

S17 #04-06 SR1
12 Feb 2020
17:00

S17 #04-06 SR1
29 Jan 2020
17:00

S17 #04-06 SR1
Wang Wei
Sun Yat-Sen University, Guangzhou
Non-standard models of arithmetic and their standard systems
22 Jan 2020
17:00

S17 #04-06 SR1
Asger Dag Toernquist
Kobenhavns Universitet
Mad, med, mcg and other maximal combinatorial objects
15 Jan 2020
17:00

S17 #04-06 SR1
Frank Stephan
National University of Singapore
Measure and Conquer for Max Hamming Distance XSAT
02 Dec 2019
17:00

S17 #06-11
Rupert Hoelzl
University of the Bundeswehr, Munich
Randomness for computable measures and complexity
14 Nov 2019
17:00

S17 #06-11
Thilo Weinert
National University of Singapore
Partition Relations for Linear Orders in a Choiceless Context
07 Nov 2019
17:00

S17 #06-11
Chong Chi Tat
National University of Singapore
The work of Gerald Sacks
31 Oct 2019
17:00

S17 #06-11
24 Oct 2019
17:00

S17 #06-11
Yang Yue
National University of Singapore
Ramsey's Theorem on trees and weak Koenig's Lemma
17 Oct 2019
17:00

S17 #06-11
10 Oct 2019
17:00

S17 #06-11
Ashutosh Kumar
National University of Singapore
On partitions into null sets
03 Oct 2019
17:00

S17 #06-11
Dilip Raghavan
National University of Singapore
All ultrafilters in L(R)[U] are rapid
12 Sep 2019
17:00

S17 #06-11
Gao Ziyuan
National University of Singapore
The one-cop-moves game on planar graphs
05 Sep 2019
17:00

S17 #06-11
Samuel Alfaro Tanuwijaya

Pseudo-finite fields
29 Aug 2019
17:00

S17 #06-11
Chong Chi Tat
National University of Singapore
Revisiting Seetapun's theorem with his disjunction