Monday, 4 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

The reverse mathematics of some finiteness theorems in algebra (PDF)
Stephen Simpson, Pennsylvania State University, USA

11:00am - 11:30am

-- Group Photo & Coffee Break ---

11:30am - 12:30pm

Ramsey properties of partial orderings (PDF)
Marcia Groszek, Dartmouth College, USA

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Tuesday, 5 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

Bounds for the strength of the graph minor theorem (PDF)
Michael Rathjen, University of Leeds, UK

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Logical analysis of proofs in convex optimization and nonlinear semigroup theory that are based on WKL or ACA (PDF)
Ulrich Kohlenbach, Technische Universitaet Darmstadt, Germany

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Wednesday, 6 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

A tutorial on Weihrauch complexity I (PDF)
Vasco Brattka, UniBW Munich, Germany

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Recursion theory over a model (PDF)
David Belanger, National University of Singapore

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

06:30pm - 07:30pm

Public Lecture: Foundations of Mathematics: An Optimistic Message

Speaker: Stephen G. Simpson, Pennsylvania State University, USA

Venue: LT31, Block S16, Level 3, Faculty of Science,
           National University of Singapore, Singapore 117546

08:00pm - 10:00pm

Dinner (Volunteer and self paid)
Venue: NUSS Kent Ridge Guild House, Evans Room

Thursday, 7 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

A tutorial on Weihrauch complexity II (PDF)
Vasco Brattka, UniBW Munich, Germany

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Higher reverse mathematics and determinacy principles (PDF)
Noah Schweber, The University of California, Berkeley, USA

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Friday, 8 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

A tutorial on Weihrauch complexity III (PDF)
Vasco Brattka, UniBW Munich, Germany

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

The strength of RT^1_k
Damir Dzhafarov, University of Connecticut, USA

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Monday, 11 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

Reverse mathematics and the strong Tietze extension theorem (PDF)
Paul Shafer, Ghent University, Belgium

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Generalized Goodstein sequences (PDF)
Andreas Weiermann, Ghent University, Belgium

12:30pm - 02:00pm

--- Lunch Reception at IMS ---

02:00pm - 04:30pm

Research discussion

Tuesday, 12 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

A Theorem of Rado on monochroatic paths (PDF)
Peter Cholak, University of Notre Dame, USA

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Symmetries and colorings of groups
Yuliya Zelenyuk, University of Witwatersrand, South Africa

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Wednesday, 13 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

On cone avoid result under certain combinatorial condition (PDF)
Lu Liu, Central South University, China

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Ramsey's theorem and compactness (PDF)
Ludovic Patey, Université Paris Diderot Paris 7, France

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Thursday, 14 Jan 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

The unreasonable effectiveness of Nonstandard Analysis and Reverse Mathematics
(PDF)
Sam Sanders, Ludwig-Maximilians-Universität München, Germany

11:00am - 11:30am

-- Coffee Break ---

11:30am - 12:30pm

Brown's lemma is equivalent to Sigma02-induction (PDF)
Emanuele Frittaion,Tohoku University, Japan

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:30pm

Research discussion

Friday, 15 Jan 2016
Joint session with the JSPS-IMS Workshop on Logic and Foundations of Mathematics

09:45am - 10:00am

Registration

10:00am - 11:00am

Determinacy strength of infinite games in omega-languages recognized by variations of automata (PDF)
Kazuyuki Tanaka, Tohoku University, Japan

11:00am - 11:30am

-- Group Photo & Coffee Break ---

11:30am - 12:30pm

The proof-theoretic strength of Ramsey's theorem for pairs (PDF)
Keita Yokoyama, Japan Advanced Institute of Science and Technology, Japan

12:30pm - 02:00pm

--- Lunch Break ---

02:00pm - 03:00pm

Reflection and the fine-structure theorem (PDF)
Alexander P. Kreuzer, National University of Singapore

03:00pm - 03:30pm

-- Coffee Break ---

03:30pm - 04:30pm

Weak choice principles in the Weihrauch degrees (PDF)
Takayuki Kihara, The University of California, Berkeley, USA