Past events

• Building Bridges 2019, 31st Academia Europaea Annual Conference, Barcelona, 23-25 October 2019.

• Tableaux 2019, London, 3-5 September 2019.

• Logic Colloquium 2019, Prague, 11-16 August 2019.

• CLMPST 2019, Prague, 5-10 August 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.

  • SILFS 2017: Triennial International Conference of the Italian Society for Logic and Philosophy of Science, Bologna, 20-23 June 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.