Logic List Mailing Archive

CfR: Roma Logica: The Forum – Reverse Mathematics and Ramsey-type Principles, 29–30 October 2026, Rome (Italy)

Roma Logica: The Forum
Reverse Mathematics and Ramsey-type principles

�
Thursday Afternoon and Friday
October 29 and 30, 2026
�ND Rome Global Gateway

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. On the webpage there 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

  *  Giordano Celli
  *  Gavin Dooley
  *  Quentin Le-Hou�rou
  *  Alberto Marcone
  *  Paul Shafer
  *  Andrea Volpi
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php