Important Dates

• 4 June AoE 29 May: Title and abstract registration deadline
• 7 June AoE: Submission deadline
• 17 June 7 June: Notification
• mid-June: Registration starts
• mid-July: Registration ends
• 6 September: Arrival on the conference site
• 7-11 September: Workshop and School

 

Call for Abstracts

We sollicit submissions of short abstracts of up to 2 pages (not including references), to be presented as a talk at the workshop. There are no formal published proceedings, but accepted abstracts will be made available for the workshop.

Abstract can present ongoing or completed works, already published or not. We also welcome abstracts that offer to review at a higher level a result or proof technique that the author presented in a series of papers. In case the short abstract is supported by published work, master thesis or PhD thesis, authors are welcome to explicitely mention it with their submission.

Submissions shall be made via easychair using the following link: 

https://easychair.org/my/conference?conf=ps26

 

Aims and Scope

The PS26 Workshop and School aim to promote proof theory and its related areas in the broadest sense. Topics include but are not limited to:

• Applied proof theory, e.g. proof mining
• Formalised proofs
• Structural proof theory
• Linear logic
• Computational interpretations of proofs
• Computability and proofs, e.g. Reverse Mathematics
• Ordinal analysis
• Philosophy of proof theory
• Proof systems and proof search
• Proof complexity
• Automated theorem proving