Universiteit van Amsterdam


Institute for Logic, Language and Computation

24 - 25 September 2017, EPS: Encyclopedia of Proof Systems, Brasilia, Brazil

Date: 24 - 25 September 2017
Location: Brasilia, Brazil
Deadline: Tuesday 1 August 2017

The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community.

This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia.

For this event, entries should be submitted before the 1st of August 2017.