Reverse Mathematics addresses the question of which axioms of mathematics are necessary in order to prove a specific theorem or develop a specific branch of mathematics. This often reveals new insights on these theorems and branches, such as connections with other parts of mathematics, generalizations, and explicit proofs that provide additional information on the objects constructed. The program will gather experts who have contributed to the development of the field in its first 50 years in order to discuss recent advances and future directions, as well as explore and expand its connections with other fields of mathematics.
The program will last 10 weeks and include visits from researchers, collaborations, talks, and four weeks of focus workshops.
Week 2 (June 30–July 4). Workshop "Reverse Mathematics and Higher Computability Theory."
Schedule and speakers to be announced.
Week 6 (July 28–August 1). Summer School "Reverse Mathematics: New Paradigms."
Lecturers:
Damir Dzhafarov (UConn)
Ekaterina Fokina (TU Wien)
Anton Freund (U Würzburg)
Ludovic Patey (Paris)
Keita Yokoyama (Tohoku)
Week 7 (August 4–8). Workshop "Reverse Mathematics: New Paradigms."
Schedule and speakers to be announced.
Week 10 (August 25–29). Workshop "Reverse Mathematics: Beyond Logic."
Schedule and speakers to be announced.
Coming soon.
Organizers
| Name | Affiliation |
|---|---|
| Juan Aguilera | Technical University of Vienna |
| Linda Brown Westrick | The Pennsylvania State University |
| Noam Greenberg | Victoria University of Wellington |
| Denis Hirschfeldt | University of Chicago |
Attendees
| Name | Affiliation |
|---|---|
| Miguel Aguilar | TU Wien |
| Heidi Benham | University of Connecticut |
| Raphaël Carroy | Institute for Atmospheric Sciences and Climate |
| William Chan | Technical University of Vienna |
| Peter Cholak | University of Notre Dame du Lac |
| Andrew DeLapo | University of Connecticut |
| Gavin Dooley | University of Notre Dame du Lac |
| François Dorais | University of Vermont |
| Damir Dzhafarov | University of Connecticut |
| Luca Facchinetti | University of Udine |
| David Fernández-Duque | University of Barcelona |
| Ekaterina Fokina | TU Wien |
| Johanna Franklin | Hofstra University |
| Anton Freund | University of Würzburg |
| Elijah Gadsby | City University New York |
| Mariami Gamsakhurdia | TU Wien |
| Giorgio Genovesi | University of Leeds |
| Oriola Gjetaj | Ghent University |
| Sarah Gleghorn | University of Cambridge |
| Jun Le Goh | National University of Singapore |
| David Gonzalez | University of California, Berkeley |
| Vassilios Gregoriades | National and Technical University of Athens |
| Ellen Hammatt | TU Wien |
| Jeffry Hirst | Appalachian State University |
| Edward Hou | Caltech University |
| Martina Iannella | TU Wien |
| Hanul Jeon | Cornell University |
| Liling Ko | TU Wien |
| Ulrich Kohlenbach | Technical University Darmstadt |
| Leszek Kołodziejczyk | University of Warsaw |
| Dominique Lecomte | University Paris Jussieu |
| Ludovic Levy Patey | CNRS Paris |
| Lu Liu | Central South University |
| Robert Lubarsky | Florida Atlantic University |
| Philipp Lücke | University of Hamburg |
| Alberto Marcone | University of Udine |
| Andrew Marks | University of California, Berkeley |
| Alexander Melnikov | Victoria University of Wellington |
| Russell Miller | City University of New York |
| Antonio Montalbán | University of California, Berkeley |
| Carl Mummert | Marshall University |
| Antonio Nakid Cordero | University of Wisconsin-Madison |
| Selwyn Ng | Nanyang Technological University |
| Gian Marco Osso | University of Udine |
| Fedor Pakhomov | Ghent University |
| Aristotelis Panagiotopoulos | University of Vienna |
| Alvaro Pintado | University of Pennsylvania |
| Nicholas Pischke | Technical University Darmstadt |
| Dino Rossegger | TU Wien |
| Sam Sanders | Ruhr-Universität Bochum |
| Paul Shafer | University of Leeds |
| Aeacus Sheng | Carnegie Mellon University |
| Borja Sierra | University of Bern |
| Giovanni Soldà | Ghent University |
| Grigorii Stepanov | TU Wien |
| Catalina Torres | University of Barcelona |
| Henry Towsner | University of Pennsylvania |
| Daniel Turetsky | Victoria University of Wellington |
| Manlio Valenti | Swansea University |
| José Jeremías Valenzuela Morales | George Washington University |
| Java Darleen Villano | University of Connecticut |
| Andrea Volpi | University of Udine |
| Wei Wang | Sun Yat-sen University |
| Andreas Weiermann | Ghent University |
| Philip Welch | University of Bristol |
| Keita Yokoyama | Tohoku University |
| Liang Yu | Nanjing University |
| Miroslav Zeleny | Charles University Prague |