(Co-)Organized Meetings
Meetings with Participation of Project Members
- Poznan Reasoning Week, September 11-15, 2018; Poznan, Poland.
- Workshop on Proof Theory and its Applications, September 6 – 7, 2018; Ghent.
- Logic Colloquium 2018, July 23 – 28; Udine.
- Logica 2018, June 18 – 22; Hejnice.
- 10th Scandinavian Logic Symposium, June 11 – 13; Gothenburg.
- PhD’s in Logic X, May 1 – 4; Prague.
- Pisa Winter Workshop in Proof Theory, March 26-27, 2018; Pisa.
- Paul Lorenzen: Mathematician and Logician, March 8-9, 2018, Konstanz.
- Minisymposium Georg Cantor (1845–1918) (GDMV 2018), March 7-8, 2018; Paderborn.
- Days in Logic, January 25-37, 2018; University of Aveiro.
- Symmetry in finite models, July 24-27, 2017; Universidade de Lisboa
- Logica 2017, June 19-23, 2017; Hejnice, CZ.
- XVIII Brazilian Logic Conference, May 8-12; Pirenópolis, BR.
- Logik zwischen Mathematik und Philosophie – Zur Geschichte des Grundlagenbegriffs und seiner Erforscher, April 28-30, 2017; Göttingen.
Summerschools
