<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p style="margin-top:0;margin-bottom:0">Dear all,</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">the following summer school on proof theory which includes lectures on proof theory of Martin-Loef Type Theory by myself might be of interest to Agda people. There is as well a workshop  11 - 13 September with contributed
 talks</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">===================================================================================<br>
</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0"></p>
<div>              2nd International Summer School on Proof Theory<br>
<br>
                     Swansea, September 8-11, 2019<br>
<br>
            http://www.proofsociety.org/summer-school-2019/<br>
<br>
                 Deadline for registration: 1 July 2019<br>
<br>
<br>
Colocated with the Summer School is the<br>
<br>
2nd Workshop on Proof Theory and its Applications<br>
<br>
Swansea, September 11-13, 2019<br>
http://www.proofsociety.org/workshop-2019/<br>
Deadline for registration:  15 July 2019<br>
<br>
Important dates<br>
===============<br>
<br>
1 July 2019: Summer School application deadline<br>
15 July 2019: Workshop registration and submission of contributed talks deadline<br>
8-11 September 2019: Summer School<br>
11-13 September 2019: Workshop<br>
<br>
Mission and scientific aims of the Summer School<br>
================================================<br>
<br>
The mission of The Proof Society is to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable
 the community to shape its future by identifying, formulating and communicating it most important goals; to actively promote proof to increase its visibility and representation.<br>
<br>
The aim of the Proof Society Summer School is to cover basic and advanced topics in proof theory.  The focus of the second edition will be on philosophy of proof theory, proof theory of impredicative theories, structural proof theory, proof mining, reverse
 mathematics, type theory and bounded arithmetic.<br>
<br>
The intended audience for the Summer School is advanced master students, PhD students postdocs and experienced researchers new to the field in mathematics, computer science and philosophy.<br>
<br>
The 1st Workshop and International Summer School on Proof Theory took place in Ghent in 2018.<br>
<br>
<br>
Speakers at the Summer School<br>
=============================<br>
<br>
Rosalie Iemhoff (Utrecht University)<br>
- Universal Proof Theory<br>
<br>
Wolfram Pohlers (University of Munster)<br>
- Ordinal Analysis and Proof Theory of Impredicative Theories<br>
<br>
Paola Bruscoli (University of Bath)<br>
- Structural Proof Theory<br>
<br>
Paulo Oliva (Queen Mary University of London)<br>
- Proof mining and functional interpretation<br>
<br>
Takako Nemoto (Japan Advanced Institute of Science and Technology)<br>
- Reverse Mathematics<br>
<br>
Anton Setzer (Swansea University)<br>
- Proof Theory of Martin-Loef Type Theory<br>
<br>
Arnold Beckmann (Swansea University)<br>
- Bounded Arithmetic<br>
<br>
<br>
Registration<br>
============<br>
<br>
To register follow the instructions on the website. The deadline for registration is 1 July 2019.<br>
<br>
Student Grants<br>
==========<br>
<br>
A limited number of grants for UK PhD and Research Master students is available. The grants are sponsored by the London Mathematical Society and will be awarded on a first-come-first-serve basis. Further details on the website.<br>
<br>
Venue<br>
=====<br>
<br>
Summer School and Workshop will take place in the Computational Foundry on the Bay Campus of Swansea University and will be hosted by the Department of Computer Science.<br>
<br>
Programme Committee<br>
===================<br>
<br>
Bahareh Afshari, University of Gothenburg<br>
Matthias Baaz, TU Wien<br>
Arnold Beckmann, Swansea University (Chair)<br>
Lev Beklemishev, Steklov Mathematical Institute<br>
Ulrich Berger, Swansea University<br>
Balthasar Grabmayr, Humboldt University Berlin<br>
Rosalie Iemhoff, Utrecht University<br>
Joost Joosten, University of Barcelona<br>
Antonina Kolokolova, Memorial University of Newfoundland<br>
Norbert Preining, Accelia Inc.<br>
Monika Seisenberger, Swansea University<br>
Anton Setzer, Swansea University<br>
Andreas Weiermann, Ghent University<br>
<br>
Local organizing committee<br>
==========================<br>
<br>
Arnold Beckmann, Swansea University<br>
Ulrich Berger, Swansea University (Co-chair)<br>
Anton Setzer, Swansea University (Co-chair)<br>
Monika Seisenberger, Swansea University<br>
<br>
Accommodation<br>
=============<br>
<br>
A limited number of ensuite on-campus accommodation (GBP 50 per night) has been reserved for the Summer School and the Workshop.<br>
<br>
To book contact the local organizers asap.<br>
<br>
</div>
=========================================================================================
<p></p>
<p style="margin-top:0;margin-bottom:0">Anton Setzer<br>
</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<div id="Signature">
<meta content="text/html; charset=UTF-8">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, "EmojiFont", "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">
<span></span><span></span>
<div dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<span>
<div><span><span><span><span><span><br>
</span></span></span></span></span></div>
</span><span></span><br>
<span>
<div></div>
</span><span><br>
</span></div>
</div>
</div>
</div>
</body>
</html>