Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the koko-analytics domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the formidable domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114
Optimal Proofs | Invited Talks

Optimal Proofs

Invited Talks

2018

  • Workshop of the Proof Society, Ghent

2019

  • Summer School of the Proof Society
  • Workshop on Algebraic and Proof Theoretic Methods in Non-Classical Logic
  • Workshop on Admissible Rules and Unification
  • ASL 2019 Annual North American Meeting

2020

  • IX Workshop on Philosophical Logic
  • Applied Proof Theory Workshop

2021

  • Logic Online Seminar Moscow
  • Leeds-Ghent Virtual Seminar
  • EXPRESS/PhilMath Seminar
  • Annual North American ASL Meeting 2021, special session Algebraic Logic
  • Logica 2021
  • Geometric Logic, Constructivisation, and Automated Theorem Proving

2022

  • Computer Science Logic
  • Logic Colloquium – UConn Logic Group
  • Summer School ANU