Current Committee Members
Starting from 15 November 2023, the governance of the Proof Society is composed by the following members, elected by the Core Initiating Committee:
- Bahareh Afshari
- Lev Beklemishev
- Yong Cheng
- Anupam Das (vice-president)
- Marianna Girlando (secretary)
- Antonina Kolokolova
- Andreas Weiermann (president)
Minutes of the Proof Society General Meetings
- Proof Society General Meeting, 4 September 2025 (Ghent)
- Proof Society General Meeting, 12 September 2024 (Birmingham)
Constitution
The Constitution of the Proof Society (V1.0) can be found here.
Core Initiating Committee
The following Initiation Committees have received their mandates at a Proof Theory meeting at Oberwolfach in Autumn 2017, see the minutes of that meeting.
The Core Initiation Committee is responsible to initiate the Proof Society in its first phase.
- Bahareh Afshari (announcements)
- Matthias Baaz (society formalisation)
- Arnold Beckmann (chair)
- Lev D. Beklemishev (manifesto)
- Balthasar Grabmayr (summer schools – student rep / web)
- Rosalie Iemhoff (manifesto)
- Joost Joosten (publicity / web)
- Antonina Kolokolova (membership)
- Norbert Preining (web technology)
- Andreas Weiermann (summer schools)