[FOM] Workshop on Proof Theory and its Applications, Ghent (Belgium), 6-7 Sep 2018

[Arnold Beckmann]

1st Workshop on Proof Theory and its Applications
Inaugural meeting of The Proof Society
Ghent, September 6-7, 2018
http://www.proofsociety.org/workshop-2018/
Deadline for registration:  1 July 2018

Colocated with the workshop is the
1st International Summer School on Proof Theory
Ghent, September 2-5, 2018
http://www.proofsociety.org/summer-school-2018/
Deadline for registration: 15 July 2018

Important dates
===============
- workshop registration deadline           1 July 2018
- summer school application deadline      15 July 2018
- summer school                     2-5 September 2018
- workshop                          6-7 September 2018


The 1st Workshop on Proof Theory and its Applications, organised under 
the auspices of The Proof Society, will bring together researchers on 
proof theory and its applications. The aim of the meeting 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 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.


Invited Speakers
================
The following researchers have accepted to speak at the workshop:

Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)


Registration
============

To register follow the instructions on the website.  Limited number of 
slots for contributed talks are available, submissions of contributed 
abstracts are collected via registration.  Deadline for registration is 
1 July 2018.


Programme Committee
===================

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


Local organizing committee
==========================

Arnold Beckmann, Swansea University
David Belanger, Ghent University
David Fernandez-Duque, Ghent University
Lenny Neyt, Ghent University
Rafal Urbaniak, Ghent University
Andreas Weiermann, Ghent University (Chair)