Logic List Mailing Archive

CfP: WPM26 – Second Workshop on Proof Mining (and ASL travel awards), 7–9 September 2026, Bath (UK), registration deadline: 1 August 2026

Second Workshop on Proof Mining (WPM26)

Web: https://proof-mining-workshop.github.io/

------------------------------------------------------------------------

The Second Workshop on Proof Mining will take place at the University of Bath, UK, on September 7  9, 2026. Organizers: Nicholas Pischke and Thomas Powell.

This is the second instance of a series of workshops dedicated to providing opportunities for people from the diverse areas connected to proof mining to meet, present work in progress, and exchange ideas and knowledge. The meeting will be interdisciplinary in nature, with a particular focus on

- logical aspects of proof mining, including proof interpretations and logical systems,
- applications to different areas of mainstream mathematics, including fixed point theory, monotone operator theory, ergodic theory, number theory and probability theory,
- the use of proof assistants to formalise and potentially automate aspects of proof mining.

The event is supported by the Department of Computer Science at the University of Bath, the Association for Symbolic Logic, the British Logic Colloquium and the London Mathematical Society.

If you are interested in participating in the workshop, please contact one of the organizers for registration. The meeting will take place in person. Please note that talks are by invitation only.

The deadline for registration is the 1st of August 2026.

As an ASL sponsored workshop, graduate students who are members of the ASL are eligible to apply for modest student travel awards to attend the meeting. Please read the ASL guidelines under

https://aslonline.org/student-travel-awards/

and/or contact one of the organizers for more information. Note that applications must be received three months prior to the start of the meeting.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php