Schedule for: 25w5423 - Infinitary Proof Theory: Techniques and Applications
Beginning on Sunday, August 10 and ending Friday August 15, 2025
All times in Oaxaca, Mexico time, CDT (UTC-5).
| Sunday, August 10 | |
|---|---|
| 14:00 - 23:59 | Check-in begins (Front desk at your assigned hotel) |
| 19:30 - 22:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| 20:30 - 21:30 | Informal gathering (Hotel Hacienda Los Laureles) |
| Monday, August 11 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:00 - 09:15 | Introduction and Welcome (Conference Room San Felipe) |
| 09:15 - 10:30 | Henry Towsner (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 12:15 | David Fernández-Duque (Conference Room San Felipe) |
| 12:15 - 13:30 | David Fernández-Duque (Conference Room San Felipe) |
| 13:30 - 13:40 | Group Photo (Hotel Hacienda Los Laureles) |
| 13:40 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 16:00 - 16:30 | Coffee Break (Conference Room San Felipe) |
| 16:30 - 17:45 |
Iannella ↓ TBA (Conference Room San Felipe) |
| 17:45 - 19:00 |
Stepanov ↓ TBA (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Tuesday, August 12 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:15 - 10:30 | Henry Towsner (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 12:15 | Fernández (Conference Room San Felipe) |
| 12:15 - 13:30 | Fernández (Conference Room San Felipe) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 16:00 - 16:30 | Coffee Break (Conference Room San Felipe) |
| 16:30 - 17:45 |
Manca ↓ TBA (Conference Room San Felipe) |
| 17:45 - 19:00 |
Das ↓ TBA (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Wednesday, August 13 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:15 - 10:30 | Henry Towsner (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 12:00 | One-hour talk TBA (Conference Room San Felipe) |
| 12:00 - 12:45 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 13:00 - 19:00 | Free Afternoon (Monte Albán Excursion) (Oaxaca) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Thursday, August 14 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:15 - 10:30 | Henry Towsner (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 12:15 | Talk TBA (Conference Room San Felipe) |
| 12:15 - 13:30 | Talk TBA (Conference Room San Felipe) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 16:00 - 16:30 | Coffee Break (Conference Room San Felipe) |
| 16:30 - 17:45 | Talk TBA (Hotel Hacienda Los Laureles) |
| 17:45 - 19:00 | Talk TBA (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Friday, August 15 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:15 - 10:30 | Talk TBA (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 12:00 - 13:00 | One-hour talk TBA (Conference Room San Felipe) |
| 13:00 - 14:30 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
