The Workshop on Proof Mining 2024 was held on the campus of the Technische Universität Darmstadt from the 4th to the 6th of September 2024. The workshop took place in person at the Vortragssaal (Room S1/20, R.01) in the Universitäts- und Landesbibliothek Darmstadt. It was the first workshop specifically dedicated to interdisciplinary exchange between research from the logical and applied areas covered by Proof Mining. Funding for the workshop was provided by the ASL (in the form of travel grants for PhD students), the DVMLG, the Department of Mathematics of the TU Darmstadt and the DFG under the grant DFG KO 1737/6-2.

The program included 23 talks from experts located within Proof Mining, its adjacent theoretical and logical underlying areas, as well as from experts in the fields of application. The abstracts can be found in a dedicated booklet which is available on the website of the event (https://sites.google.com/view/wpm24). The invited participants included: R. Arthan (Lemma 1 Ltd.), M. Bačák (University of Leipzig), R. Boţ (University of Vienna), H. Cheval (University of Bucharest), B. Dinis (University of Évora), N. Dumitru (University of Bucharest), P. Engrácia (ISCTE Lisbon), F. Ferreira (University of Lisbon), P. Firmino (University of Lisbon), A. Freund (University of Würzburg), J. Garcia-Falset (University of Valencia), S.-M. Grad (ENSTA Paris), L. Leuştean (University of Bucharest), M. Neri (University of Bath), A. Nicolae (Babeş-Bolyai University), P. Oliva (Queen Mary University of London), T. Powell (University of Bath), S. Saeidi (University of Kurdistan), S. Sanders (Ruhr University Bochum), L. Sauras-Altuzarra (CUNEF University), A. Sipoş (University of Bucharest), A. Wan (University of Bath), and J. Wei (University of Pennsylvania).

The Organizers

Ulrich Kohlenbach, Pedro Pinto, and Nicholas Pischke