Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 3-4 June 2016
Location: 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 .

Please note that this newsitem has been archived, and may contain outdated information or links.