Scientific program
The complete schedule of all the talks is also available.
| Tutorial speakers | |
|---|---|
| Ulrike Sattler | University of Manchester |
| Katrin Tent | WWU Münster |
| Gödel speaker | |
| Rod Downey | Victoria University of Wellington |
| Plenary speakers | |
| Marianna Antonutti Marfori | Ludwig-Maximilians-Universität München |
| Albert Atserias | Universitat Politècnica de Catalunya |
| Vasco Brattka | Universität der Bundeswehr München |
| Agata Ciabattoni | TU Wien |
| Paola D'Aquino | Università degli Studi della Campania |
| Paulo Oliva | Queen Mary University of London |
| Ludovic Patey | Institut Camille Jordan, Lyon |
| Anush Tserunyan | University of Illinois at Urbana-Champaign |
| Spencer Unger | Tel Aviv University |
| Matteo Viale | Università degli Studi di Torino |
| Dag Westerståhl | Stockholm University |
| Special sessions | |
| Computability theory Chairs: Paul Shafer, Andrea Sorbi | |
| Selwyn Ng | Nanyang Technological University |
| Johanna Franklin | Hofstra University |
| Takayuki Kihara | Nagoya University |
| Linda Brown Westrick | University of Connecticut |
| Descriptive set theory and dynamical systems Chairs: Asger Törnquist, Ben Miller | |
| Todor Tsankov | Université Paris Diderot |
| Julien Melleray | Université Lyon I |
| Robin Tucker-Drob | Texas A&M University |
| Clinton Conley | Carnegie Mellon University |
| Model theory Chairs: Frank Wagner, Enrique Casanovas | |
| Adrien Deloro | Université Pierre et Marie Curie |
| Nadja Hempel | University of California, Los Angeles |
| Gabriel Conant | University of Notre Dame |
| Nick Ramsey | University of California, Berkeley |
| Philosophy of Logic and Mathematics Chairs: Juliette Kennedy, Gil Sagi | |
| Gil Sagi | University of Haifa |
| Nicole Wyatt | University of Calgary |
| Simon Hewitt | University of Leeds |
| Brice Halimi | Université Paris Nanterre |
| Proof Theory and Constructivism Chairs: Silvio Ghilardi, Giovanni Sambin | |
| Ryota Akiyoshi | Waseda University |
| Chuangjie Xu | Ludwig-Maximilians-Universität München |
| Alessandra Palmigiano | TU Delft |
| Martín Escardó | University of Birmingham |
| Temporal and Multivalued Logics Chairs: Martin Lange, Brunella Gerla | |
| Agi Kurucz | King's College London |
| Daniele Mundici | Università degli Studi di Firenze |
| Paritosh K. Pandya | Tata Institute of Fundamental Research; IIT Mumbai |
| Amanda Vidal | Czech Academy of Sciences |