Roma Logica: The Forum
Reverse Mathematics and Ramsey-type principles
Thursday Afternoon and Friday
October 29 and 30, 2026
Updated: August 3
The workshop will focus on Reverse Mathematics and in particular, the computability-theoretic and proof-theoretic strength of combinatorial Ramsey-type principles such as Ramsey’s Theorem for pairs, Hindman’s Theorem, and other similar statements.
The Colosseum was not available but we are a block away at ND Rome Global Gateway. We have one lecture room that sits about 40. There are 2 small white boards and the room is long. So board talks are not suggested.
Registration. Everyone needs to register. It is very quick. In particular we need a head count for the reception a week or so prior.
The organizers are Peter Cholak and Lorenzo Carlucci.
Schedule
Thursday, October 29
1:30 pm - 2:30 pm: Talk 1
2:30 pm - 3:00 pm: Coffee Break
3:00 pm - 4:00 pm: Talk 2
4:15 pm - 5:15 pm: Talk 3
5:15 pm - 7:00pm: Heavy reception
Friday, October 30
9:30 am - 10:30 am: Talk 4
10:30 am - 11:00 am: Coffee Break
11:00 am - 12:00 pm: Talk 5
12:00 pm - 2:00 pm: Lunch Break (on your own)
2:00 pm - 3:00 pm: Talk 6
3:00 pm - 3:30 pm: Coffee Break
3:30 pm - 4:30 pm: Talk 7
4:30 pm - ??, drinks at a nearby bar.
Travel Arrangements: Here you are on your own. Here are some nearby hotel and dining suggestions by the Notre Dame Global Gateway staff. Public transportation in Rome is good and you should be able to get a hotel or room elsewhere and travel to ND Rome from within Rome.
Many thanks to our two sponsors: Notre Dame Global and the Notre Dame Department of Mathematics.
Confirmed Speakers