committees

Editorships

  • Editor of the Stanford Encyclopedia of Philosophy
  • Member of the editorial board of the ASL book series Perspectives in Logic
  • Former Editor-in-Chief of the Journal of Philosophical Logic (2018-2023)
  • Former editor of Mathematical Logic Quarterly
  • Former editor of Review of Symbolic Logic

Committees & Boards

  • Member of the Panel of Alternates of the ASL Committee on Prizes and Awards (2024 – )
  • Member of the Board of the Heyting Foundation

  • Former member of the Council of the Association of Symbolic Logic (2011–2014)
  • Former member of the Core Initiation Committee of the Proof Society

Member of the Program Committee of (a selection)

  • Advances in Modal Logic (AiML) 2014, 2010
  • Computability in Europe (CiE) 2015, 2010, 2009
  • International Tbilisi Symposium on Language, Logic, and Computation 2023, 2003
  • Logic, Algebras, and Truth Degrees (LATD) 2023, 2022, 2014
  • Logic Colloquium (LC) 2016 (chair)
  • Logical Foundations of Computer Science (LFCS) 2022, 2020, 2016, 2013, 2009
  • The Tenth European Congress of Analytic Philosophy 2020
  • Topology, Algebra and Categories in Logic (TACL) 2021, 2017, 2015, 2009
  • Workshop on Logic, Language, Information and Computation (WoLLIC) 2019 (chair), 2010
Scroll to Top