Proof Theory in Logic (1-2 July 2019)


Proof Theory in Logic

Proof Theory in Logic is a workshop held on July 1-2, 2019 at the Utrecht University, The Netherlands. Participation in this workshop is free, but registration is required. This two-day workshop is a satellite workshop of WoLLIC 2019. Click here to register.

Those interested in the workshop on Proof Theory in Logic might also be interested in the 5th International Workshop on Structures and Deduction (affiliated with FSCD ’19) in Dortmund, Germany, June 29-30, 2019. See

The workshop on Proof Theory in Logic aims to bring together researchers in proof theory and related areas to discuss ideas and methods. The focus will be on results and techniques that are universal across classes of logics, with a special emphasis on applications in non-classical propositional, modal, and predicate logics. The invited speakers are:

Bahareh Afshari – University of Amsterdam
Arnon Avron – Tel-Aviv University
Matthias Baaz – Vienna University of Technology
Lev Beklemishev – Russian Academy of Sciences
Marta Bilkova – Czech Academy of Sciences
Agata Ciabattoni  – Vienna University of Technology CANCELLED
Petr Cintula – Czech Academy of Sciences
Stefan Hetzl – Vienna University of Technology CANCELLED
Roman Kuznets – TU Wien
Tadeusz Litak – Friedrich-Alexander Universitaet Erlangen-Nuernberg
George Metcalfe – University of Bern
Sara Negri – University of Helsinki
Valentin Shehtman – Russian Academy of Sciences

See for WoLLIC 2019 the conference website


The Netherlands Organisation for Scientific Research (NWO)
The Proof Society