[TYPES/announce] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries

[Bruno Woltzenlogel Paleo]

== 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  
becoming a quick reference for the various proof systems used by  
logicians. Since then, it has collected 64 entries about many calculi

for classical and non-classical logics. This was only possible thanks

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,  
 during which submitted entries will be displayed as posters;  
  
\- an interactive hands-on meeting in the morning of September 25th,  
 for those who would like to contribute to the continuous  
 improvement of the encyclopedia.  
  
The activities planned for the 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.  
  
Each encyclopedia entry is typically just one page long,

following a template given in the encyclopedia's website.  
Therefore, it is easy and quick to contribute.  
  
  
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 December 2016, was published in January 2017  
(http://www.collegepublications.co.uk/other/?00028).  
  
Future editions will contain the entries accepted to 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)  

![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-47355ee1-ae79)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170623/486150ef/attachment.html>