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 |
| 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 |
| David Fernández-Duque | University of Barcelona |
| Ekaterina Fokina | TU Wien |
| Anton Freund | University of Würzburg |
| Mariami Gamsakhurdia | TU Wien |
| Giorgio Genovesi | University of Leeds |
| Oriola Gjetaj | Ghent University |
| Jun Le Goh | National University of Singapore |
| David Gonzalez | University of California, Berkeley |
| 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 |
| 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 |
| Aeacus Sheng | Carnegie Mellon University |
| Borja Sierra | University of Bern |
| Giovanni Soldà | Ghent University |
| Grigorii Stepanov | TU Wien |
| Catalina Torres | University of Barcelona |
| Daniel Turetsky | Victoria University of Wellington |
| Manlio Valenti | Swansea University |
| José Jeremías Valenzuela Morales | George Washington University |
| Java Darleen Villano | University of Connecticut |
| Wei Wang | Sun Yat-sen University |
| Philip Welch | University of Bristol |
| Keita Yokoyama | Tohoku University |
| Liang Yu | Nanjing University |
| Miroslav Zeleny | Charles University Prague |