* Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025
@ 2025-05-27 12:30 Giovanni Solda
0 siblings, 0 replies; only message in thread
From: Giovanni Solda @ 2025-05-27 12:30 UTC (permalink / raw)
To: categories
[-- Attachment #1: Type: text/plain, Size: 3370 bytes --]
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society<https://url.au.m.mimecastprotect.com/s/l1F-CZY146s5nAmKGfzfGfB5Q_m?domain=proofsociety.org/>. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory.
Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks.
Guided by The Proof Manifesto<https://url.au.m.mimecastprotect.com/s/1fOwC1WLjwsMwxjJRUGhgfV__f8?domain=proofsociety.org/>, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
More information can be found on the website: https://proof2025.ugent.be/<https://url.au.m.mimecastprotect.com/s/F2W4C2xMRkUpoWx5jfBiKf5Ezbn?domain=proof2025.ugent.be/>
IMPORTANT DATES
*
(For ASL members) Deadline for the application for ASL student travel awards: 1st of June (three months before the start of the conference, see https://aslonline.org/student-travel-awards/<https://url.au.m.mimecastprotect.com/s/P_WnC3QNl1SpYo8DBfDsjfQ4vNF?domain=aslonline.org/> for more information)
*
Deadline for submission of abstracts for the Workshop: 16th of June
*
Summer School: 1st to 3rd of September
*
Workshop: 4th and 5th of September
REGISTRATION
Registration will open soon. The fees are:
*
Summer School (regular): 150 euros
*
Summer School (students): 100 euros
*
Workshop (regular): 150 euros
*
Workshop (students): 100 euros
BEST STUDENT PRESENTATION AWARD
As is traditional for the proof Society Workshop, there will be an award for the best student presentation.
PROGRAM COMMITTEE
*
Fedor Pakhomov
* Bahereh Afshari
* Lev Beklemishev
* Benno van den Berg
* Lorenzo Carlucci
* David Fernández-Duque
* Balthasar Grabmayr
* Stefan Hetzl
* Jan Heylen
* Rosalie Iemhoff
* Mateusz Łełyk
* Maria Emilia Maietti
* Nicholas Pischke
* Takako Nemoto
* Monika Seisenberger
*
Johannes Stern
ORGANIZING COMMITTEE
* Andreas Weiermann
* Fedor Pakhomov
* Giovanni Soldà
* Mojtaba Mojtahedi
* Brett McLean
* Alakh Dhruv Chopra
* Philipp Provenzano
* Lukas Matthias Zenger
* Vlad Lazar
* Jan Heylen
* Daisie Job Rock
* Jozefien D’haeseleer
* Morgan Callewaert
* Joke Meheus
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
[-- Attachment #2: Type: text/html, Size: 16074 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2025-05-27 19:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-05-27 12:30 Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025 Giovanni Solda
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).