Proof Theory in Logic

Proof Theory in Logic is a workshop held on July 1-2, 2019 at 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.

The workshop 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.

Website of the meeting: https://ptil.sites.uu.nl/

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: