The Proof Society Workshop on Proof Theory and its Applications 13-14 July, 2023
4 views
Skip to first unread message
Elaine Pimentel
May 11, 2023, 7:00:56 AM5/11/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
The Proof Society Workshop on Proof Theory and its Applications
13-14 July, 2023
Downtown Barcelona, Catalonia, Spain
https://www.ub.edu/prooftheory/event/tps2023/
The workshop is aimed at PhDs and other professionals alike. We call for contributed papers to be presented during the workshop either in a short talk of about 20 minutes or through a poster presentation.
Submission deadline: May 15;
Author notification: May 29.
Submissions consist of an extended abstract of at most four pages total (including references, acknowledgements, and any possible appendices). Accepted abstracts will be distributed during the event and may be posted online, but will not be formally published, so we welcome work published elsewhere. The style files and submission link may be found in the workshop webpage:
AIMS AND SCOPE
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
ORGANISING COMMITTEE
• Albert Atserias
• Ilario Bonacina
• David Fernández Duque (Chair)
• Damiano Fornasiere
• Petia Guintchev
• Joost J. Joosten (Chair)
• Miguel Martins
• Tommaso Moraschini
• Sofia Santiago
PROGRAM COMMITTEE
• Bahareh Afshari
• Albert Atserias
• Matthias Baaz
• Arnold Beckmann
• Lev D. Beklemishev
• Ilario Bonacina
• David Fernández Duque (Chair)
• Balthasar Grabmayr
• Rosalie Iemhoff
• Joost Joosten (Chair)
• Antonina Kolokolova
• Cosimo Perini Brogi
• Norbert Preining
• Sofia Santiago
• Andreas Weiermann
SUMMER SCHOOL
The Proof Society Workshop on Proof Theory and its Applications is affiliated with the The Proof Society Summer School which will be held just before the workshop from 10-12 July, 2023 Downtown Barcelona
https://www.ub.edu/prooftheory/event/tps2023/
Confirmed tutorial speakers:
• Albert Atserias (Technical University of Catalonia)
• Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences)
• Eduardo Hermo Reyes (Formal Vindications SL)
• Elaine Pimentel (University College London)
• Sara Uckelman (Durham University)
Confirmed invited speakers for the workshop:
• Leszek Aleksander Kołodziejczyk (Institute of Mathematics, University of Warsaw)
• Maria Lluisa Bonet (Technical University of Catalonia)
• Samuel R. Buss (University of California)
THE PROOF SOCIETY
The event 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
This year will be the lustrum edition and the four previous editions are listed below.
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>
or any other member of the Organising Committee.
--
13-14 July, 2023
Downtown Barcelona, Catalonia, Spain
https://www.ub.edu/prooftheory/event/tps2023/
The workshop is aimed at PhDs and other professionals alike. We call for contributed papers to be presented during the workshop either in a short talk of about 20 minutes or through a poster presentation.
Submission deadline: May 15;
Author notification: May 29.
Submissions consist of an extended abstract of at most four pages total (including references, acknowledgements, and any possible appendices). Accepted abstracts will be distributed during the event and may be posted online, but will not be formally published, so we welcome work published elsewhere. The style files and submission link may be found in the workshop webpage:
https://www.ub.edu/prooftheory/event/tps2023workshop/
AIMS AND SCOPE
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
ORGANISING COMMITTEE
• Albert Atserias
• Ilario Bonacina
• David Fernández Duque (Chair)
• Damiano Fornasiere
• Petia Guintchev
• Joost J. Joosten (Chair)
• Miguel Martins
• Tommaso Moraschini
• Sofia Santiago
PROGRAM COMMITTEE
• Bahareh Afshari
• Albert Atserias
• Matthias Baaz
• Arnold Beckmann
• Lev D. Beklemishev
• Ilario Bonacina
• David Fernández Duque (Chair)
• Balthasar Grabmayr
• Rosalie Iemhoff
• Joost Joosten (Chair)
• Antonina Kolokolova
• Cosimo Perini Brogi
• Norbert Preining
• Sofia Santiago
• Andreas Weiermann
SUMMER SCHOOL
The Proof Society Workshop on Proof Theory and its Applications is affiliated with the The Proof Society Summer School which will be held just before the workshop from 10-12 July, 2023 Downtown Barcelona
https://www.ub.edu/prooftheory/event/tps2023/
Confirmed tutorial speakers:
• Albert Atserias (Technical University of Catalonia)
• Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences)
• Eduardo Hermo Reyes (Formal Vindications SL)
• Elaine Pimentel (University College London)
• Sara Uckelman (Durham University)
Confirmed invited speakers for the workshop:
• Leszek Aleksander Kołodziejczyk (Institute of Mathematics, University of Warsaw)
• Maria Lluisa Bonet (Technical University of Catalonia)
• Samuel R. Buss (University of California)
THE PROOF SOCIETY
The event 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
This year will be the lustrum edition and the four previous editions are listed below.
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>
or any other member of the Organising Committee.
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
Reply all
Reply to author
Forward
0 new messages