From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 219FF800FD for ; Tue, 28 Mar 2017 23:22:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A0UgNdRdGQSb0erdwiJYCxGINlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS6ZR7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM37nzZhM9+gqxbux+tuwBzz5LIbI2JKPZyYqXQds4aS2pbWcZRUjRMAoyi?= =?us-ascii?q?YIsIAeoBM/1VoJXmp1cUqBu+BBOjBObuyjNSmHD5wLA62PklHQ/HwgMgGNwOsH?= =?us-ascii?q?rJp9voKacSTfy6zK3JzTXNYfNZxzLx5Y7VeR4vpvGMWKh/ccvXyUQ3CgPFiE6f?= =?us-ascii?q?pZb+MDOPzugNvGmb7/ZgVeKykGErsQBxoj+3yscji4nJmoIVyk3f+ilj3Ik1It?= =?us-ascii?q?i4RFZnbt6jFJtQsz+VN4RoTcM6XmFnoyI6yrwatpGhYCgKyZMnxxjEa/Cdb4eI?= =?us-ascii?q?5QjvVPuSITp+mXlre6q/ig6v/UWk1OHwTMe53EtQoidGltTArHEA2hrO4cadUP?= =?us-ascii?q?R95F2u2TOX2gDT9O5EJUc0mLLeK5E93rEwkoQcsUDHHiDsnkX6lrOZdl4+9uit?= =?us-ascii?q?6uToeLDmpp6GO4Bqlw7+L7wims25AesmLggDR3WX9OCi2LH580D1Xa9Gg/4yn6?= =?us-ascii?q?XDsZ3WPcEbqbS4Aw9R3IYj8RG/DzK+3dQXg3YHK1xFeBycgof1IFHCOvX4Dfal?= =?us-ascii?q?jFSpkTdn3e7JMaD8ApnVNHjMjK/hfaph605b0Ac80cpQ55dQCr0YJPLzW1TxtM?= =?us-ascii?q?DDAx8iMw20xv7nB89n2oMfX2KPGK6ZP7nIvV+G/OJ8a9WLMYQcvTK4L/k++9bv?= =?us-ascii?q?i2U4kBkTZ/qHx5wSPX+1GfpoC06CJ3/ti9IAV2oGo0J+Y+HthlPKaiNPbHKzUa?= =?us-ascii?q?wxp2JoQLm6BJvOE9j+yIeK2z22S8Vb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BcCgAc09pY/wZZH8BdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBhAqBC4MUin2UFAGFNIw/doIOASmJYBYBAQEBAQEBAQE?= =?us-ascii?q?BAWoogjMggmYhdzAEEgtEFIlbAxUOnWaSLIcvDUUHgkUMJo4Ogk+CAAxcgjEFi?= =?us-ascii?q?QyTGjqGfIcbhCuCCVSEVooNim8ChFOEJiYJKIEEW4dIJDWJUgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BcCgAc09pY/wZZH8BdGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBhAqBC4MUin2UFAGFNIw/doIOASmJYBYBAQEBAQEBAQEBAWoogjMggmYhd?= =?us-ascii?q?zAEEgtEFIlbAxUOnWaSLIcvDUUHgkUMJo4Ogk+CAAxcgjEFiQyTGjqGfIcbhCu?= =?us-ascii?q?CCVSEVooNim8ChFOEJiYJKIEEW4dIJDWJUgEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,238,1486422000"; d="scan'208";a="218397633" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 28 Mar 2017 23:22:40 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 536361214D5; Tue, 28 Mar 2017 17:22:39 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170328212239.536361214D5@mcclellan.cs.miami.edu> Date: Tue, 28 Mar 2017 17:22:39 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Encyclopedia of Proof Systems - Call for Contributions == 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)