The Coq mailing list

[Joost Joosten <jjoosten AT ub.edu>]

1st Workshop on Proof Theory
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 for contributed
talks 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)

--
Joost J. Joosten
Department of Philosophy
C. Montalegre 6
08001 Barcelona, Catalonia, Spain

Office phone: +34 9340 37984



Aquest correu electrònic i els annexos poden contenir informació confidencial 
o protegida legalment i està adreçat exclusivament a la persona o entitat 
destinatària. Si no sou el destinatari final o la persona encarregada de 
rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, 
distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si heu rebut aquest 
correu electrònic per error, us preguem que n’informeu al remitent i que 
elimineu del sistema el missatge i el material annex que pugui contenir. 
Gràcies per la vostra col·laboració.

Este correo electrónico y sus anexos pueden contener información confidencial 
o legalmente protegida y está exclusivamente dirigido a la persona o entidad 
destinataria. Si usted no es el destinatario final o la persona encargada de 
recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo, 
copiarlo ni a revelar su contenido. Si ha recibido este mensaje electrónico 
por error, le rogamos que informe al remitente y elimine del sistema el 
mensaje y el material anexo que pueda contener. Gracias por su colaboración.

This email message and any documents attached to it may contain confidential 
or legally protected material and are intended solely for the use of the 
individual or organization to whom they are addressed. We remind you that if 
you are not the intended recipient of this email message or the person 
responsible for processing it, then you are not authorized to read, save, 
modify, send, copy or disclose any of its contents. If you have received this 
email message by mistake, we kindly ask you to inform the sender of this and 
to eliminate both the message and any attachments it carries from your 
account. Thank you for your collaboration.