Logo Utrecht University

Proof Theory in Logic (1-2 July 2019)

Home

Proof Theory in Logic

Proof Theory in Logic is a workshop held on July 1-2, 2019 at the Utrecht University, The Netherlands. Participation is free, but registration is required. Registration is not possible yet.

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. 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
Petr Cintula – Czech Academy of Sciences
Roman Kuznets – Vienna University of Technology
Tadeusz Litak – Friedrich-Alexander Universitaet Erlangen-Nuernberg
George Metcalfe – University of Bern
Sara Negri – University of Helsinki
Valentin Shehtman – Russian Academy of Sciences

This two-day workshop is a satellite workshop of WoLLIC 2019 (see https://wollic2019.sites.uu.nl).

Sponsors

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