Fwd: TPS Summer School and Workshop: Preliminary Call

[Joao Marcos]

---------- Forwarded message ---------

*** Save the dates ***

The Proof Society Summer School and affiliated Workshop
10-12 July (Summer School) and 13-14 July (Workshop), 2023
Barcelona, Spain
https://www.ub.edu/prooftheory/event/tps2023/

AIMS AND SCOPE

This year, Barcelona will host the lustrum edition of the TPS school and workshop. Topics presented include. but are not limited to

⁃    Ordinal analysis
⁃    Applied proof theory and proof assistants
⁃    Cut elimination
⁃    Proof systems
⁃    Philosophy of proof theory
⁃    Proof theory and the foundations of mathematics
⁃    Proof Complexity
⁃    Reverse mathematics
⁃    SAT solvers
⁃    Automated theorem proving
⁃    Types and proofs;

SUMMER SCHOOL

The Summer School will be held in the first three days from July 10-12, 2023 and is aimed at PhD students, advanced Master students and interested colleagues. The confirmed lecturers so far are

•    Albert Atserias;
•    Lev Beklemishev;
•    Eduardo Hermo Reyes;
•    Elaine Pimentel;
•    Sara Uckelman,

WORKSHOP

The affiliated workshop is aimed at PhDs and other professionals alike and will be held on July 13-14 and a separate Call for Participation will be send out soon.

THE PROOF SOCIETY

The events will be organised under the auspicies of The Proof Society
whose mission statement is

•    To support the research on 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 in the larger scientific community and society.

PAST EDITIONS

https://www.proofsociety.org/past/summer-school-2018/
https://www.proofsociety.org/past/summer-school-2019/
https://kgs.logic.at/madeira2021/
https://uswpt.sites.uu.nl/

CONTACT

For inquiries, please write

David Fernández-Duque <fernand...@ub.edu>
Joost J. Joosten <jjoo...@ub.edu>