Past events
Some events in which I have been involved as an attendee, organizer, or invited speaker:
LATD and MOSAIC kick off meeting (Paestum 5-11 September 2022)
Lindström lectures 2022 (Göteborg 20-22 June 2022)
Dagstuhl Seminar 20202, "Geometric Logic, Constructivisation, and Automated Theorem Proving," 2021.
Tableaux 2021, Birmingham, 6-9 September 2021.
CLAR 2021, 4th International Conference on Logic and Argumentation, Hangzhou, China.
Advances in Modal Logic 2020, Helsinki, August 24-28, 2020.
4th Logic Nordic School, Bergen, 2020;
CLAR 2020, 3rd International Conference on Logic and Argumentation, Hangzhou, China.
4th SILFS Postgraduate Conference on Logic and Philosophy of Science, Urbino, Italy, June 3–7, 2019 (Chair of session on Classical and Non-Classical Logics).
PhDs in Logic 2019, Universität Bern, Switzerland.
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation.
Tableaux 2019, London, 3-5 September 2019.
Logic Colloquium 2019, Prague, 11-16 August 2019.
CLMPST 2019, Prague, 5-10 August 2019.
CLMPTS 2019, Contributed Symposium “90 years of Glivenko theorem”.
Building Bridges 2019, 31st Academia Europaea Annual Conference, Barcelona, 23-25 October 2019.
26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, 2-5 July 2019.
Proof Theory in Logic, Utrecht, 1-2 July 2019.
4th SILFS Postgraduate Conference on Logic and Philosophy of Science, Urbino, 3-7 June 2019.
Third Tübingen Conference on Proof-Theoretic Semantics, Tübingen, Germany, 27-30 March 2019.
Colloquium Logicum, Bayreuth, Germany, 14-16 September 2018.
Advances in Modal Logic 2018 , Bern, 27-31 August 2018.
Types, Sets and Constructions, Hausdorff Trimester Program, May 2 - August 24, 2018.
Reasoning in Social Context, Royal Netherlands Academy of Arts and Sciences, Amsterdam, 31 May - 2 June, 2018.
Workshop 'Doxastic Agency and Epistemic Logic', Bochum, 15-16 December 2017.
Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, November 6-11, 2017.
XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni, Padova, September 23-28, 2017.
The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI), Hokkaido University, Sapporo, Japan, September 11-14, 2017.
Logic in Stockholm 2017: NLS Summer School, Logic Colloquium, CSL, Stockholm, August 7-11, 14-20, 20-26, 201\ 7.
Humboldt-Kolleg: Proof Theory as Mathesis Universalis, Villa Vigoni, Como, 24-27 July, 2017.
Workshop on Proof Theory and Modal Logic , Turin, December 2, 2016.
International Conference: JAAKKO HINTIKKA's legacy in Game-Theoretical Semantics and Epistemic Logic, 8-9 September, Helsinki.
Non-Classical Logics. Theory and Applications, 5-7 September 2016, Lodz, Poland. Call for Papers.
Advances in Modal Logic 2016, 29 August-2 September 2016, Budapest. Call for Papers.
International Joint Conference of Automated Reasoning, 17 June-2 July, Univ. of Coimbra, Portugal.
Logica 2016, Hejnice monastery, Czech Republic, 20-24 June 2016. Call for Papers.
Modalities, Conditionals, and Values: A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright, University of Helsinki, May 23-25, 2016. Call for Papers.
Estonian-Finnish Logic Meeting, Rakvere, November 13-15, 2015.
Workshop Trends in Proof Theory, University of Hamburg, Department of Mathematics, September 20-21, 2015; Well-quasi orders: From theory to applications Hamburg, DMV-Jahrestagung 2015, September 24-25. Tableaux 2015, Automated Reasoning with Analytic Tableaux and Related Methods University of Wroclaw, Poland, September 20-24, 2015.
15th Congress on Logic, Methodology, and Philosophy of Science, University of Helsinki, August 3-8, 2015.
CLMPS affiliated meeting: Proof theory of modal and non-classical logics, University of Helsinki, August 7, 2015.
Utrecht Workshop on Proof Theory, Utrecht University, April 16-18, 2015.
Modeling hypothetical reasoning: validity, inference, and paradoxes, University of Paris I, February 19-20, 2015.
Scandinavian Logic Symposium 2014, University of Tampere, Finland, August 25-27, 2014.
Scuola Estiva di Logica, Gargnano, Italy, August 24-30, 2014.
Advances in Modal Logic 2014, University of Groningen, The Netherlands, August 5-8, 2014.
Proof, Truth, Computation. Modern Foundations of Mathematics and Contemporary Philosophy, Chiemsee, Germany, July 21-25, 2014.
Proof, Structure and Computation, Vienna, July 17-18, 2014.
SILFS 2014 Triennial International Conference of the Italian Society for Logic and Philosophy of Sciences, Rome, June 18-20.
Modality and Modalities M&M2014, Lund University, May 22-24, 2014.
Algebra and Coalgebra meet Proof Theory, Queen Mary, University of London, May 15-16, 2014.
XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Scuola Normale Superiore, Pisa, April 14-17, 2014.
Workshop on Formalization in Philosophy, University of Copenhagen, December 12-13, 2013.
Workshop 'Proof Theory and Philosophy', University of Groningen, December 3-5, 2013.
LIX Colloquium on The Theory and Application of Formal Proofs, Paris, France, November 5-7, 2013.
Tableaux 2013, Nancy, France, September 16-19, 2013.
Modality and Modalities, Roskilde, Denmark, May 23-24, 2013.
Workshop on Intensionality in Mathematics, Lund, Sweden, May 11-12, 2013.
4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, March 29-April 7, 2013.
Logic: Between Semantics and Proof Theory, Tel-Aviv, Israel, 1-2 November 2012.
8th Scandinavian Logic Symposium , Roskilde University, Denmark, 20-21 August 2012.
Logic in Computer Science (LICS 2012) , Dubrovnik, Croatia, 25-28 June 2012.
Pisa Summer Workshop on Proof Theory , Pisa, Italy, 12-15 June 2012.
Workshop on Proof Theory and Constructivism , Helsinki, Dept. of Philosophy, 23 March 2012.
JAIST Spring School 2012 , Kanazawa, Japan, 5-9 March 2012.