---------- 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 <fernandez-du...@ub.edu> <fernandez-du...@ub.edu> Joost J. Joosten <jjoos...@ub.edu> <jjoos...@ub.edu> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lir3Qi6ON6zUWvHxGfhJxy3ySNu2_h0-phEn0Y28HzHGw%40mail.gmail.com.
