[Proof Complexity] Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2019

Beckmann A. a.beckmann at swansea.ac.uk
Thu Jul 4 23:01:39 CEST 2019

Call for participation
2nd Proof Society Summer School
Swansea, September 8-11, 2019
Registration deadline: 8 July 2019
Call for participation and contributed papers
2nd Workshop on Proof Theory and its Applications
Swansea, September 11-13, 2019
Submission of contributed talks deadline: 15 July 2019


8 July 2019: Summer School application deadline
15 July 2019: Submission of contributed workshop talks deadline
17 July 2019: Notification of acceptance of contributed talks
22 July 2019: Workshop registration deadline
8-11 September 2019: Summer School
11-13 September 2019: Workshop


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.

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.

The intended audience for the Summer School is PhD students, postdocs,
advanced master students, and experienced experienced researchers new
to the field in mathematics, computer science and philosophy.

The aim of the colocated 2nd Workshop on Proof Theory and its Applications
is to reflect on the mission of The Proof Society, through a series of
invited and contributed talks, as well as a panel discussion.

The 1st Workshop and International Summer School on Proof Theory
took place in Ghent in 2018.


Rosalie Iemhoff (Utrecht University)
- Universal Proof Theory

Wolfram Pohlers (University of Munster)
- Ordinal Analysis and Proof Theory of Impredicative Theories

Paola Bruscoli (University of Bath)
- Structural Proof Theory

Paulo Oliva (Queen Mary University of London)
- Proof mining and functional interpretation

Takako Nemoto (Japan Advanced Institute of Science and Technology)
- Reverse Mathematics

Anton Setzer (Swansea University)
- Proof Theory of Martin-Loef Type Theory

Arnold Beckmann (Swansea University)
- Bounded Arithmetic


* Antonina Kolokolova  (Memorial University of Newfoundland)
* Gilles Dowek  (ENS Paris-Saclay)
* Helmut Schwichtenberg (LMU Munich)
* Laura Crosilla  (University of Birmingham)
* Adam Wyner (Swansea University)

More speakers to be announced.


To register and book accommodation follow the instructions on the website.

Please submit abstracts for contributed workshop talks via email to
u.berger at swansea.ac.uk<mailto:u.berger at swansea.ac.uk> by July 15, 2019.


A limited number of grants for UK PhD and Research Master students is available
which will be awarded on a first-come-first-serve basis.
Further details on the website.


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.


* London Mathematical Society
* Association for Symbolic Logic
* The Institute of Coding in Wales
* College of Science at Swansea University
* Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der exakten Wissenschaften


Bahareh Afshari, University of Gothenburg
Matthias Baaz, TU Wien
Arnold Beckmann, Swansea University (Chair)
Lev Beklemishev, Steklov Mathematical Institute
Ulrich Berger, Swansea University
Balthasar Grabmayr, Humboldt University Berlin
Rosalie Iemhoff, Utrecht University
Joost Joosten, University of Barcelona
Antonina Kolokolova, Memorial University of Newfoundland
Norbert Preining, Accelia Inc.
Monika Seisenberger, Swansea University
Anton Setzer, Swansea University
Andreas Weiermann, Ghent University


Arnold Beckmann, Swansea University
Ulrich Berger, Swansea University (Co-chair)
Olga Petrovska, Swansea University
Anton Setzer, Swansea University (Co-chair)
Monika Seisenberger, Swansea University

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Attached Message Part
URL: <http://list.math.cas.cz/pipermail/proof-complexity/attachments/20190704/9ac3d4e1/attachment.ksh>

More information about the Proof-Complexity mailing list