coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] EPS: Encyclopedia of Proof Systems

From: Bruno Woltzenlogel Paleo <bruno.wp AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Cc: "giselle AT cmu.edu" <giselle AT cmu.edu>
Subject: [Coq-Club] EPS: Encyclopedia of Proof Systems
Date: Tue, 04 Apr 2017 12:07:58 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bruno.wp AT gmail.com; spf=Pass smtp.mailfrom=bruno.wp AT gmail.com; spf=None smtp.helo=postmaster AT mail-pg0-f52.google.com
Ironport-phdr: 9a23:XtMxRx97hJYTj/9uRHKM819IXTAuvvDOBiVQ1KB32+0cTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHmhykEKTA38HzZhcNsg69Auh2tuwZyzpTIbIyPKvZzeL7Wc9MARWpGW8ZcTzFMApmhb4sJCOoKIOZXr475p1sSrBqxGw+sBOfoyj9HmHD22bAx3f47HgHCwgMgGM8FvXPPo9XvKacSV+e1wLPGzDXbdP5W1jL955LJchAlu/2DQbVwcc/IxEQpCgjLgFKQqYn/MDOU0OQAq3Wb7+x7Wu61kGEnsRl9ojeuxscwionJm5kaxkrF9SV+2Io1Kty4SFJ7Yd65C5RcrT2VN4xzQs86X25ovyI6yrkYtp60YicK0IknyAXba/yGb4eH+A7jVOeWITd+n3JpYq6whxGo/Ui9ye3xUNS/3lVSriddkNTBuWoB2wHN5sWHUPdw/Ums1SyP2gzN8u1JIV44mbDVJpI/2LI8i4QfvETZEiPol0j6kambfVg+9Oey8eToeLDmq4ecN4BqjgH+NbwjmsmlDuQ5NggCRnCb+eug2LH68030QKtGguc5kqnet5DaKsAbqbCjDwBJ1YYj7g6zDzag0NsGgXkKNFBIdR2dg4T0JV3DIOr0APSxjli2kDpn2ejKPrj7DZXMKnjDnq3hfbF460NE0wUz181f55RTCr0bLvPzQlT8tNPdDhAjMgy0x/zrB8l61oMbQW6PGLOWMLvOsV+U4eIiO/WDZIgMuDrkN/cl4+PugmQilF8Gfaip2IMXZ2qiEvRnJUWZe3vsjc0bHWcEpAptBNDt3ReJVicWbHKvVYo94Cs6AcSoF82LEouqmfmK2DqxNpxQfGFPTF6WRyTGbYKBDt0WdSSVavBmliAWWL6lTIAs0VmWvQv3zPIzJPDJ/CpeqorL29185umVnhY3o28nR/+B2n2AGjkn1lgDQCU7ifhy

== EPS ==
Encyclopedia of Proof Systems

--- call for contributions ---

September 24-25, 2017, Brasilia, Brazil

Affiliated to:
TABLEAUX, FroCoS and ITP 2017
http://tableaux2017.cic.unb.br/
http://frocos2017.cic.unb.br/
http://itp2017.cic.unb.br/

Aims and Scope
==============

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

The activities planned for this meeting will be announced closer to
the event.

Submission Instructions
=======================

Please visit the encyclopaedia's website for instructions:
http://proofsystem.github.io/Encyclopedia

Participation in TABLEAUX, FroCoS or ITP is not required for
submission, but is strongly encouraged.

Important Dates
===============

- Submission Deadline: 1st of August 2017
- Notification: 15th of August 2017

Publication Plans
=================

We have an agreement with College Publications to publish the
encyclopedia as a book. The first edition, containing the entries
submitted until 2016, was published in January 2017
(http://www.collegepublications.co.uk/other/?00028).

Future editions will contain the entries submitted for this EPS event.
The encyclopedia is also available in Github
(https://github.com/ProofSystem/Encyclopedia).

Organization
============

Bruno Woltzenlogel Paleo (bruno.wp AT gmail.com)
Giselle Reis (giselle AT cmu.edu)

[Coq-Club] EPS: Encyclopedia of Proof Systems, Bruno Woltzenlogel Paleo, 04/04/2017