Conferences / Workshops

 

Proof, Computation, Complexity

15 July - 19 July 2019

Organizers
Reinhard Kahle
Universidade NOVA de Lisboa
Lars Kristiansen
University of Oslo
Erik Palmgren
Stockholm University

Program
Contact

Reinhard Kahle

kahle@mat.uc.pt

Other
information

For practical matters at the Institute, send an e-mail to administration@mittag-leffler.se