The Coq mailing list

[Joost Joosten <jjoosten AT ub.edu>]

1st International Summer School on Proof Theory
Ghent, September 2-5, 2018
http://www.proofsociety.org/summer-school-2018/

Workshop on Proof Theory
Ghent, September 6-7, 2018
http://www.proofsociety.org/workshop-2018/


The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society.  The Proof Society has recently been formed 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 its most important goals; to actively promote proof to increase its visibility and representation.

The aim of the summer school is to cover basic and advanced topics in proof theory.  The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof.  Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools.  The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy. 

The summer school is co-located with a workshop on proof theory in Ghent (6-7 September).  The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop. 


Scientific Programme
====================

The summer school will provide six courses:
Cut Elimination by Matthias Baaz (TU Wien)
Ordinals and their applications by Andreas Weiermann (Ghent University)
Philosophy of Proof Theory by Carlo Nicolai (King's College London)
Provability Logic by David Fernandez Duque (Ghent University)
Proof Theory in Computer Science by Andrei Voronkov (University of Manchester)
Programme Extraction by Monika Seisenberger (Swansea University)

In addition there will be one special evening lecture:
Selected topics from the Theory of Truth by Rafal Urbaniak (Ghent University)


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

Information about registration will be available from the website soon.


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.