3-4 June 2016, Workshop on Proofs, Justifications and Certificates, Toulouse, France

The workshop aims to bring together researchers working in (1) Provability Logic, (2) Realizability, (3) Proof certificates and (4) Justification Logic. The aim is to foster collaboration and share ideas between the four fields, and all presentations will be accessible to researchers and students working in any of them.

There will be one session devoted to each field, each with two invited speakers. In order to generate a constructive exchange, aside from one hour of speaking time, each presentation will include an additional half hour devoted to questions and discussion.

The workshop is open to all and no registration is needed. For more information, see the workshop webpage at http://www.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4th-june or direct inquiries to David Fernández Duque at david.fernandez at irit.fr.