Schedule

Download PDF

Sunday, May 22

Satellite Event

The Foundational Impact of Recursion Theory: In honor of Steve Simpson’s 70th birthday

Monday, May 23

Morning

9:00-9:45 Registration, Coffee and Snacks (Austin 102)
9:45-10:00 Opening Remarks (Austin 108)
10:00-11:00 Invited Lecture: Michael Rathjen (Leeds), Relating strong type theories to set theories (Austin 108).
11:15-12:15 Tutorial: Denis Hirschfeldt (Chicago), The computability theory and reverse mathematics of combinatorial principles, Part A (Austin 108).

Afternoon

2:00-3:00 Invited Lecture: Magdalena Kaufmann (Connecticut), Models for natural language meaning (Austin 108).
3:15-4:15 Tutorial: Maryanthe Malliaris (Chicago), Model theoretic perspectives on comparing complexity, Part A (Austin 108).
4:45-6:20 Contributed Talks: Sessions A, B, C.
6:30-6:45 Group Photo (Wilbur Cross Building, Great Lawn).
6:45-9:00 Welcoming Reception (Wilbur Cross Building, South Reading Rom).

Tuesday, May 24

Morning

8:00-9:00 Coffee and Snacks (Austin 102).
9:00-10:00 Invited Lecture: Itay Neeman (UCLA), Forcing iterations (Austin 108).
10:15-11:15 Tutorial: Denis Hirschfeldt (Chicago), The computability theory and reverse mathematics of combinatorial principles, Part B (Austin 108).
11:30-12:30 Tutorial: Maryanthe Malliaris (Chicago), Model theoretic perspectives on comparing complexity, Part A (Austin 108).

Afternoon

2:00-3:00 Invited Lecture: Zoe Chatzidakis (Ecole Normale Supérieure), Groups definable in existentially closed difference fields – a survey (Austin 108).
3:15-5:15 Special Sessions: Model Theory, Computability, Set Theory, History & Philosophy of Logic.
5:25-6:35 Contributed Talks: Sessions D, E, F.
7:00-10:00 Banquet, Nathan Hale Inn.

Wednesday, May 25

Morning

8:00-9:00 Coffee and Snacks (Austin 102).
9:00-10:00 Invited Lecture: Karen Lange (Wellesley), Integer parts and lengths of developments (Austin 108).
10:15-12:15 Special Sessions: Model Theory, Computability, Set Theory, History & Philosophy of Logic.

Afternoon

2:00-3:00 Tutorial: Denis Hirschfeldt (Chicago), The computability theory and reverse mathematics of combinatorial principles, Part C (Austin 105).

Tutorial: Maryanthe Malliaris (Chicago), Model theoretic perspectives on comparing complexity, Part C (Austin 110).

3:15-4:15 Invited Lecture: Stewart Shapiro (Ohio State), Potential Infinity: a modal account (Austin 108).
4:45-6:20 Contributed Talks: Sessions G, H, I.

Thursday, May 26

Morning

8:00-9:00 Coffee and Snacks (Austin 102).
9:00-10:00 Retiring Presidential Address: Alasdair Urquhart (Toronto), Russell and Gödel (Austin 108).
10:15-12:15 Special Sessions: Model Theory, Computability, Set Theory, History & Philosophy of Logic.