[TYPES/announce] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 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...@gmail.com) Giselle Reis (gise...@cmu.edu) ![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-47355ee1-ae79)
[TYPES/announce] PxTP: Third Call for Papers (New Deadline: 26th of June)
(http://style.eptcs.org/). Papers will be submitted via EasyChair, at the PxTP'2017 workshop page (https://easychair.org/my/conference.cgi?a=12750890;welcome=1;conf=pxtp2017). Accepted regular papers will appear in an EPTCS volume. ## Important Dates * Abstract submission: Monday, 26 June 2017 * Paper submission: Monday, 26 June 2017 * Notification: Friday, 7 July 2017 * Camera ready versions due: Friday, 21 July 2017 * Workshop: 23-24 September 2017 ## Invited Speakers * Gilles Dowek (INRIA) * Cesare Tinelli (The University of Iowa) ## Program Committee * Catherine Dubois (ENSIIE-Samovar), co-chair * Bruno Woltzenlogel Paleo, co-chair * Christoph Benzmüller (Freie Universität Berlin) * Jasmin Christian Blanchette (INRIA Nancy & LORIA) * Hans De Nivelle (Institute of Computer Science, University of Wroclaw) * Pascal Fontaine (Loria, INRIA, University of Lorraine) * Stéphane Graham-Lengrand (CNRS - INRIA - Ecole Polytechnique) * Hugo Herbelin (INRIA) * Olivier Hermant (MINES ParisTech) * Cezary Kaliszyk (University of Innsbruck) * Guy Katz (Stanford University) * Chantal Keller (LRI, Université Paris-Sud) * Tomer Libal (INRIA) * Mariano Moscato (National Institute of Aerospace) * Vivek Nigam (Universidade Federal da Paraíba) * Andrei Paskevich (Université Paris-Sud, LRI) * Florian Rabe (Jacobs University Bremen) * Andrew Reynolds (University of Iowa) * Stephan Schulz (DHBW Stuttgart) * Geoff Sutcliffe (University of Miami) * Josef Urban (Czech Technical University in Prague) * Tjark Weber (Uppsala University) * Akihisa Yamada (University of Innsbruck) ## Previous PxTP Editions * PxTP 2011 (http://pxtp2011.loria.fr/), affiliated to CADE-23 * PxTP 2012 (http://pxtp2012.inria.fr/), affiliated to IJCAR 2012 * PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated to CADE-24 * PxTP 2015 (http://pxtp15.lri.fr/), affiliated to CADE-25 ![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-27e52018-19ad)
[TYPES/announce] Fwd: PxTP 2017: 2nd Call for Papers
author of every accepted paper will present their work at the workshop. Submitted papers should describe previously unpublished work, and must be prepared using the LaTeX EPTCS class (<http://style.eptcs.org/>). Papers will be submitted via EasyChair, at the PxTP'2017 workshop page (<https://easychair.org/my/conference.cgi?a=12750890;welcome=1;conf=pxtp2017> ). Accepted regular papers will appear in an EPTCS volume. **## Important Dates** * Abstract submission: Monday, 12 June 2017 * Paper submission: Monday, 19 June 2017 * Notification: Friday, 7 July 2017 * Camera ready versions due: Friday, 21 July 2017 * Workshop: 23-24 September 2017 **## Invited Speakers** * Gilles Dowek (INRIA) * Cesare Tinelli (The University of Iowa) **## Program Committee** * Catherine Dubois (ENSIIE-Samovar), co-chair * Bruno Woltzenlogel Paleo, co-chair * Christoph Benzmüller (Freie Universität Berlin) * Jasmin Christian Blanchette (INRIA Nancy & LORIA) * Hans De Nivelle (Institute of Computer Science, University of Wroclaw) * Pascal Fontaine (Loria, INRIA, University of Lorraine) * Stéphane Graham-Lengrand (CNRS - INRIA - Ecole Polytechnique) * Hugo Herbelin (INRIA) * Olivier Hermant (MINES ParisTech) * Cezary Kaliszyk (University of Innsbruck) * Guy Katz (Stanford University) * Chantal Keller (LRI, Université Paris-Sud) * Tomer Libal (INRIA) * Mariano Moscato (National Institute of Aerospace) * Vivek Nigam (Universidade Federal da Paraíba) * Andrei Paskevich (Université Paris-Sud, LRI) * Florian Rabe (Jacobs University Bremen) * Andrew Reynolds (University of Iowa) * Stephan Schulz (DHBW Stuttgart) * Geoff Sutcliffe (University of Miami) * Josef Urban (Czech Technical University in Prague) * Tjark Weber (Uppsala University) * Akihisa Yamada (University of Innsbruck) **## Previous PxTP Editions** * PxTP 2011 (<http://pxtp2011.loria.fr/>), affiliated to CADE-23 * PxTP 2012 (<http://pxtp2012.inria.fr/>), affiliated to IJCAR 2012 * PxTP 2013 (<http://www.cs.ru.nl/pxtp13/>), affiliated to CADE-24 * PxTP 2015 (<http://pxtp15.lri.fr/>), affiliated to CADE-25 -- Catherine DUBOIS, professor ENSIIE, lab. Samovar (UMR 5157)
[TYPES/announce] PxTP 2017: Call for Papers
be prepared using the LaTeX EPTCS class (http://style.eptcs.org/). Papers will be submitted via EasyChair, at the PxTP'2017 workshop page (https://easychair.org/my/conference.cgi?a=12750890;welcome=1;conf=pxtp2017). Accepted regular papers will appear in an EPTCS volume. **## Important Dates** * Abstract submission: Monday, 12 June 2017 * Paper submission: Monday, 19 June 2017 * Notification: Friday, 7 July 2017 * Camera ready versions due: Friday, 21 July 2017 * Workshop: 23-24 September 2017 **## Invited Speakers** * Gilles Dowek (INRIA) * Cesare Tinelli (The University of Iowa) **## Program Committee** * Catherine Dubois (ENSIIE-Samovar), co-chair * Bruno Woltzenlogel Paleo, co-chair * Christoph Benzmüller (Freie Universität Berlin) * Jasmin Christian Blanchette (INRIA Nancy & LORIA) * Hans De Nivelle (Institute of Computer Science, University of Wroclaw) * Pascal Fontaine (Loria, INRIA, University of Lorraine) * Stéphane Graham-Lengrand (CNRS - INRIA - Ecole Polytechnique) * Hugo Herbelin (INRIA) * Olivier Hermant (MINES ParisTech) * Cezary Kaliszyk (University of Innsbruck) * Guy Katz (Stanford University) * Chantal Keller (LRI, Université Paris-Sud) * Tomer Libal (INRIA) * Mariano Moscato (National Institute of Aerospace) * Vivek Nigam (Universidade Federal da Paraíba) * Andrei Paskevich (Université Paris-Sud, LRI) * Florian Rabe (Jacobs University Bremen) * Andrew Reynolds (University of Iowa) * Stephan Schulz (DHBW Stuttgart) * Geoff Sutcliffe (University of Miami) * Josef Urban (Czech Technical University in Prague) * Tjark Weber (Uppsala University) * Akihisa Yamada (University of Innsbruck) **## Previous PxTP Editions** * PxTP 2011 (http://pxtp2011.loria.fr/), affiliated to CADE-23 * PxTP 2012 (http://pxtp2012.inria.fr/), affiliated to IJCAR 2012 * PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated to CADE-24 * PxTP 2015 (http://pxtp15.lri.fr/), affiliated to CADE-25 ![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-fc7f37fd-a325)
[TYPES/announce] CADE-25 Poster Session and Task-Force towards an Encyclopaedia of Proof Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == EPS == the CADE-25 Poster Session and Task-Force towards an Encyclopedia of Proof Systems --- call for contributions --- August 1-3, 2015, Berlin, Germany affiliated to: CADE - the Conference on Automated Deduction Aims and Scope == In this jubilee edition of CADE (the Conference on Automated Deduction), we shall commemorate the multitude of proof systems that form the theoretical foundations for automated deduction. To achieve this goal, we proposes to bring the whole community together in a task-force to produce a concise encyclopedia of proof systems. Every entry in this encyclopedia will follow a given template and will preferably be exactly one page long, displaying the inference rules of the proof system and possibly a few clarifying remarks. The one-page encyclopedia entries will be displayed as posters during CADE. Submission Instructions === Please visit the task-force's website for instructions: http://proofsystem.github.io/Encyclopedia Participation in CADE is not required for submission, but is strongly encouraged. Important Dates === - Submission Deadline: 19th of April 2015 - Notification: 15th of May 2015 (Submit early!!) Publication Plans = When the encyclopedia reaches a broad coverage of various proof systems, its publication as a book will be sought. However, this is not yet guaranteed and details are still undefined. Organization Bruno Woltzenlogel Paleo (br...@logic.at)
[TYPES/announce] Call for Participation: APPA - Tutorials about Proofs at the Vienna Summer of Logic
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Forall X.X Pi - APPA - All about Proofs, Proofs for All ++ Tutorials about Proofs ++ July 18, 2014, Vienna, Austria --- call for participation --- http://vsl2014.at/meetings/APPA-index.html Register now at http://vsl2014.at/registration/, selecting APPA on workshop block 2. Early-registered participants will receive a book with the invited papers. Early registration goes until 8th of June. Description === Many of us, logicians, devote our work to the improvement of proofs, proof systems, proof formats, interactive proof script languages, proof search methods... But what makes a proof (system|format|search-method|...) better than another? Logicians from different communities will give radically different answers to this question! The principles behind their answers may be unknown to outsiders; they may even sound obscure, ungrounded or in apparent contradiction to the principles of other communities. The Vienna Summer of Logic presents a unique opportunity to promote a conversation between all communities on questions related to proofs. APPA will promote a fruitful knowledge exchange by organizing short tutorials given by prominent speakers from various communities. These tutorials shall be accessible to young researchers and of interest to experienced researchers from other communities as well. Tutorial Topics and Speakers - SAT-Solvers: + Marijn Heule (University of Texas at Austin, USA) - SMT-Solvers: + Clark Barrett (New York University, USA) + Pascal Fontaine (LORIA Nancy, France) + Leonardo de Moura (Microsoft Research, USA) - First-order Automated Theorem Provers: + Stephan Schulz (Munich University of Technology, Germany) - Higher-order Automated Theorem Provers: + Christoph Benzmüller (Freie Universität Berlin, Germany) - Interactive Theorem Provers: + Makarius Wenzel (LRI, Université Paris Sud, France) - Calculus of Inductive Constructions: + Christine Paulin-Mohring (LRI INRIA Saclay, France) - Deduction Modulo: + Gilles Dowek (INRIA Paris, France) - Deep Inference: + Alessio Guglielmi (University of Bath, England) - Foundational Proof Certificates: + Dale Miller (École Polytechnique, Paris, France) - Program Verification (B Method): + Jean-Raymond Abrial (ETH Zürich, Switzerland) - Security: + Gilles Barthe (IMDEA Software Institute, Madrid, Spain) - Mathematical Proof Analysis: + Alexander Leitsch (Vienna University of Technology, Austria) Organizers == - David Delahaye (Cedric/Cnam/Inria, Paris) - Bruno Woltzenlogel Paleo (Vienna University of Technology) For more information, visit: http://vsl2014.at/meetings/APPA-index.html signature.asc Description: Message signed with OpenPGP using GPGMail