Proof Representations: From Theory to Applications
Arriving Sunday, June 1 and departing Friday June 6, 2025
Confirmed Participants
| Name | Affiliation |
|---|---|
| Acclavio, Matteo | University of Sussex |
| Areces, Carlos | Universidad Nacional de Córdoba |
| Ayhan, Sara | Ruhr University Bochum |
| Barrett, Victoria | Inria Saclay |
| Benevides, Mario | Universidade Federal Fluminense |
| Buzoku, Yll | University College London |
| Das, Anupam | University of Birmingham |
| De, Abhishek | University of Birmingham |
| Felty, Amy | University of Ottawa |
| Gheorghiu, Alex | University of Southampton |
| Girlando, Marianna | University of Amsterdam |
| Gonzalez Huesca, Lourdes del Carmen | Universidad Nacional Autónoma de México |
| Indrzejczak, Andrzej | University of Lodz |
| Jalali, Raheleh | University of Bath |
| Marin, Sonia | University of Birmingham |
| Martinot, Robin | Ruhr University Bochum |
| Miller, Dale | Inria Saclay |
| Padhiar, Paaras | University of Birmingham |
| Pimentel, Elaine | University College London |
| Piotrovskaya, Katya | University College London |
| Pistone, Paolo | Université Claude Bernard Lyon 1 |
| Ramanayake, Revantha | University of Groningen |
| Saurin, Alexis | CNRS |
| Shillito, Ian | University of Birmingham |
| Solares-Rojas, Alejandro | Universidad de Buenos Aires |
| Strassburger, Lutz | Inria |
| Szmuc, Damian | CONICET |
| van der Giessen, Iris | University of Amsterdam |
| Zach, Richard | University of Calgary |
