From: geoff@cs.miami.edu (Geoff Sutcliffe)
To: caml-list@inria.fr
Subject: [Caml-list] Encyclopedia of Proof Systems - Call for Contributions
Date: Tue, 28 Mar 2017 17:22:39 -0400 (EDT) [thread overview]
Message-ID: <20170328212239.536361214D5@mcclellan.cs.miami.edu> (raw)
== 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 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.
The activities planned for this meeting will be announced closer to the event.
Submission Instructions
=======================
Please visit the task-force'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 on 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@gmail.com)
Giselle Reis (giselle@cmu.edu)
reply other threads:[~2017-03-28 21:22 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170328212239.536361214D5@mcclellan.cs.miami.edu \
--to=geoff@cs.miami.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).