Proof, Computation, Complexity
July 15 - July 19, 2019
The aim of PCC is to stimulate research in proof theory, computation, and complexity from a mathematical perspective, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in mathematics and computer science, as well as new developments in proof theory motivated by mathematical and computer science demands. Specific areas of interest are (non-exhaustively listed) proof theory, foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.
Seminars
Participants
| Name | University | Country | Arrival and Departure |
|---|---|---|---|
| Bahareh Afshari | University: Chalmers / University of Gothenburg | City: Sweden | Arrival and Departure: - |
| Federico Aschieri | University: Vienna University of Technology | City: Austria | Arrival and Departure: - |
| Matthias Baaz | University: Vienna University of Technology | City: Austria | Arrival and Departure: - |
| Jan Bydzovsky | University: Vienna University of Technology | City: Austria | Arrival and Departure: - |
| Natalie Clarius | University: University of Tübingen | City: Germany | Arrival and Departure: - |
| Ugo Dal Lago | University: University of Bologna | City: Italy | Arrival and Departure: - |
| Anupam Das | University: University of Copenhagen | City: Denmark | Arrival and Departure: - |
| Mattias Granberg Olsson | University: Göteborgs Universititet | City: Sweden | Arrival and Departure: - |
| Alessio Guglielmi | University: University of Bath | City: United Kingdom | Arrival and Departure: - |
| Hugo Herbelin | University: Inria | City: France | Arrival and Departure: - |
| Gerhard Jäger | University: University of Bern | City: Switzerland | Arrival and Departure: - |
| Reinhard Kahle | University: Universidade NOVA de Lisboa | City: Portugal | Arrival and Departure: - |
| Annika Kanckos | University: University of Helsinki | City: Finland | Arrival and Departure: - |
| Ulrich Kohlenbach | University: Technical University of Darmstadt | City: Germany | Arrival and Departure: - |
| Lars Kristiansen | University: University of Oslo | City: Norway | Arrival and Departure: - |
| Graham Leigh | University: Chalmers/University of Gothenburg | City: Sweden | Arrival and Departure: - |
| Andrew Lewis | University: Queen Mary University of London | City: United Kingdom | Arrival and Departure: - |
| Anders Lundstedt | University: Stockholm University | City: Sweden | Arrival and Departure: - |
| Sonia Marin | University: University of Copenhagen | City: Denmark | Arrival and Departure: - |
| Ralph Matthes | University: IRIT Toulouse Institute of Computer Science Research | City: France | Arrival and Departure: - |
| Juvenal Murawanashyaka | University: University of Oslo | City: Norway | Arrival and Departure: - |
| Isabel Oitavem | University: Universidade Nova de Lisboa | City: Portugal | Arrival and Departure: - |
| Paulo Oliva | University: Queen Mary University of London | City: United Kingdom | Arrival and Departure: - |
| Erik Palmgren | University: Stockholm University | City: Sweden | Arrival and Departure: - |
| Luis Pinto | University: Universidade Minho | City: Portugal | Arrival and Departure: - |
| Michael Rathjen | University: University of Leeds | City: United Kingdom | Arrival and Departure: - |
| Sam Sanders | University: University of Leeds | City: United Kingdom | Arrival and Departure: - |
| Paulo Santos | University: Universidade NOVA de Lisboa | City: Portugal | Arrival and Departure: - |
| Andrei Sipos | University: Technical University of Darmstadt | City: Germany | Arrival and Departure: - |
| Philipp Stassen | University: Stockholm University | City: Sweden | Arrival and Departure: - |