![]() | ![]() | ![]() |
![]() | ![]() | ![]() |
When: From Monday, July 10 until Friday, July 14, 2023.
Venue: Faculty of Mathematics and Informatics, University of Barcelona: Gran Via de les Corts Catalanes, 585, 08007 Barcelona.
Overview:
The 5th International Summer School on Proof Theory and its Applications will take place from the 10th of July to the 12th of July 2023 in Barcelona, Spain. The location of the Summer School is the historical building of the Faculty of Mathematics and Informatics which belongs to the Universitat de Barcelona, at the heart of the city. The Summer School will be co-located with the 5th Workshop on Proof Theory and its Applications the 13th and 14th of July 2023. Both events take place under the auspices of the Proof Society.
Summer school information can be found here.Workshop information, *including submission*, can be found here.
Previous editions can be found at the Proof Society webpage.
Registration and fees:
Summer School | Workshop | Full program | |
---|---|---|---|
Regular | 180 | 120 | 280 |
Reduced(*) | 120 | 100 | 200 |
You may register by following the links:
Registration closes June 26, 2023. Extended to July 2th AoE.
(*)Reduced fees are intended for participants with limited funding. Please contact the program chairs before registering if you believe you are eligible.
Confirmed tutorial speakers:
Confirmed invited speakers for the workshop:
Abstracts:
Posters:
Posters designs by Isabel Hortelano Martín, June 2023.
Extended abstract submissions deadline: May 15th, Extended to May 22th AoE |
Acceptance notification: June 5th |
Registration closes: June 26th, Extended to July 2th AoE |
The Summer School and Workshop have slightly different Program Committees. Chairs of both committees are David Fernández Duque and Joost J. Joosten.
Summer School Programm Commitee can be found here.Workshop Programm Commitee can be found here.
Local Organising Committee | |
---|---|
Albert Atserias, Technical University of Catalonia | |
Ilario Bonacina, Technical University of Catalonia | |
David Fernández-Duque, Universitat de Barcelona (chair) | |
Damiano Fornasiere, Universitat de Barcelona | |
Petia Guintchev, Universitat de Barcelona | |
Isabel Hortelano Martín, Universitat de Barcelona | |
Joost J. Joosten, Universitat de Barcelona (chair) | |
Miriam Kurtzhals, Universitat de Barcelona | |
Miguel Martins, Universitat de Barcelona | |
Tommaso Moraschini, Universitat de Barcelona | |
Vicent Navarro Arroyo, Technical University of Catalonia | |
Sofía Santiago-Fernández, Universitat de Barcelona |
Faculty of Mathematics and Informatics, University of Barcelona: Gran Via de les Corts Catalanes, 585, 08007 Barcelona.
Useful phone numers:
For questions please contact one of the Local Organising Committee members.