Special Sessions

Computable Analysis and Topology 

Organizers: Takayuki Kihara, Elvira Mayordomo. 

Speakers: Djamel Amir (Université Paris-Saclay), Cécilia Pradic (Swansea University), Emmanuel Rauzy (University of Munich) and Holger Thies (University of Kyoto).

Computability Aspects of Descriptive Set Theory 

Organizers: Luca San Mauro, Dino Rossegger.  

Speakers: Antonio Montalban (University of California, Berkeley), Noah Schweber (Proof School, San Francisco), Benjamin Siskind (Technische Universität Wien) and Dan Turetsky (Victoria University of Wellington).

AI in Human Context: Foundational, Historical, and Computational Perspectives

Organizers: Melissa Antonelli, Jean-Baptiste Joinet and Mattia Petrolo.

   Speakers: Juan Manuel Duran (Delft University of Technology), Paolo Pistone (Université Claude Bernard Lyon 1), Carina Prunkl (Utrecht Universit) and Joao Marques-Silva (ICREA).

Proof Complexity and SAT 

Organizers: Maria Luisa Bonet, Pavel Pudlák. 

Speakers: Albert Atserias (Technical University of Catalonia), Paul Beame (University of Washington), Samuel Buss (University of California, San Diego) and Robert Robere (McGill University).

Proof Theory: Pure and Applied 

Organizers: Anton Freund, Pedro Pinto. 

Speakers: Horatiu Cheval (University of Bucharest), Azza Gaysin (University of Passau), Morenikeji Neri (University of Bath) and Shuwei Wang (University of Leeds).

Quantum Computing

Organizers: Georg Moser, Romain Pechoux. 

Speakers: Alejandro Diaz-Caro (Inria & UNQ-Universidad Nacional de Quilmes), Robin Kaarsgaard (University of Southern Denmark), Subhasree Patro (Eindhoven University of Technology) and Simon Perdrix (Inria).