<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">[Apologies for multiple postings.]<br class=""><br class=""> Autumn school "Proof and Computation"<br class=""> Fischbachau, Germany, 26th Sep. to 1st Oct. 2022<br class=""> <a href="https://urldefense.com/v3/__http://www.mathematik.uni-muenchen.de/*schwicht/pc22.php__;fg!!IBzWLUs!X4jDljxiI6Smb8ID_B7tH5pJmXZVJOTIsRAzXABHGbYOXkWZW7xCi-nxPWY-VGOkFvDLwkQQSs8ogcOfdKAh9BxU0lI$" class="">http://www.mathematik.uni-muenchen.de/~schwicht/pc22.php</a><br class=""><br class="">The fifth international autumn school "Proof and Computation" will be held<br class="">from 26th September to 1st October 2022 in Fischbachau near Munich.<div class="">Its aim is to bring together young researchers in the field of Foundations of</div><div class="">Mathematics, Computer Science and Philosophy.<br class=""><br class="">SCOPE<br class="">--------------------<br class="">- Predicative Foundations<br class="">- Constructive Mathematics and Type Theory<br class="">- Computation in Higher Types<br class="">- Extraction of Programs from Proofs<br class=""><br class="">COURSES<br class="">--------------------<br class="">- Steve Awodey: Categorical logic<br class="">- Marc Bezem: Coherent logic<br class="">- Hajime Ishihara: Reverse mathematics in constructive set theory</div><div class="">- Klaus Mainzer: tba<br class="">- Stefan Neuwirth: The philosophy of dynamic algebra<br class="">- Frederik Nordvall Forsberg: Universes of data types in constructive type theory<br class="">- Monika Seisenberger: Extraction of programs from proofs<br class="">- Chuangjie Xu: Various approaches to computing moduli of continuity<br class=""><br class="">WORKING GROUPS<br class="">--------------------<br class="">There will be an opportunity to form ad-hoc groups working on specific<br class="">projects, but also to discuss in more general terms the vision of<br class="">constructing correct programs from proofs.<br class=""><br class="">APPLICATIONS<br class="">--------------------<br class="">Graduate or PhD students and young postdoctoral researches are invited to<br class="">apply. Applications (e.g. a self-introduction including research interests<br class="">and motivation) should be sent to<br class=""><br class=""> Chuangjie Xu <<a href="mailto:xu@math.lmu.de" class="">xu@math.lmu.de</a>>.<br class=""><br class="">Students are required to provide also a letter of recommendation, preferably<br class="">from the thesis adviser.<br class=""><br class="">Deadline for applications: **27 May 2022**.<br class="">Applicants will be notified by 20th June 2022.<br class=""><br class="">FINANCIAL SUPPORT<br class="">--------------------<br class="">Successful applicants will be offered **full-board accommodation** for<br class="">the days of the autumn school. There are NO funds, however, to reimburse<br class="">travel or further expenses, which successful applicants will have to<br class="">cover otherwise.<br class=""><br class="">The workshop is supported by the Udo Keller Stiftung (Hamburg), the<br class="">CID (Computing with Infinite Data) programme of the European Commission<br class="">and a JSPS core-to-core project.<br class=""><br class=""><br class="">Klaus Mainzer<br class="">Peter Schuster<br class="">Helmut Schwichtenberg</div></body></html>