The Coq mailing list

["Joost J. Joosten" <jjoosten AT ub.edu>]

Dear all,

We are very happy to announce the third edition of The Proof Society Workshop on Proof Theory and its Applications together with the Winter School on Proof Theory. The events will be presencial and shall not be streamed online. 

The intended audience for the Winter School is advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophy. The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.

Both events will be held in Madeira in 2021 in the week from Monday, November 29 through Friday, December the third. 

Information can be found at 

https://kgs.logic.at/madeira2021/

and confirmed speakers include:

• Bahareh Afshari
• Juan Aguilera
• Eduardo Fermé
• David Fernández Duque
• Anupam Das
• Stepan Kuznetsov
• Graham Leigh
• Alexander Leitsch
• Fedor Pakhomov
• Norbert Preining
• Michael Rathjen
• Andrei Voronkov

The important dates are:

Events

• Winter School on Proof Theory and its Applications, November 29 — December 1, 2021;
• Workshop on Proof Theory, December 2 — December 3, 2021.

 

Registration for Winter School and Workshop

• Early registration opens Monday, October 11;
• Early registration closes Monday, November 15.

 

Workshop Contributed Talks Submission

• Submission of abstracts opens Monday, October 11;
• Submission of abstracts closes Monday, November 8;
• Acceptance is confirmed Thursday, November 11.

On behalf of the Core Initiating Committee of The Proof Society and the Organising Committee, 

Joost J. Joosten

University of Barcelona

Aquest missatge, i els fitxers adjunts que hi pugui haver, pot contenir informació confidencial o protegida legalment i s’adreça exclusivament a la persona o entitat destinatària. Si no consteu com a destinatari final
 o no teniu l’encàrrec de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si l’heu rebut per error, informeu-ne el remitent i elimineu del sistema tant el missatge com els fitxers adjunts
 que hi pugui haver.

Este mensaje, y los ficheros adjuntos que pueda incluir, puede contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no consta como destinatario final ni es la persona encargada
 de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo o copiarlo, ni a revelar su contenido. Si lo ha recibido por error, informe de ello al remitente y elimine del sistema tanto el mensaje como los ficheros adjuntos que pueda contener.

This email message and any attachments it carries may contain confidential or legally protected material and are intended solely for the individual or organization to whom they are addressed. If you are not the intended recipient of this message or the person
 responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any part of it. If you have received the message by mistake, please inform the sender of this and eliminate the message and any attachments it carries
 from your account.