The Coq mailing list

[Berardi Stefano <stefano AT di.unito.it>]

Due to overlapping deadlines of relevant events to the community,

and to several requests, the TYPES 2020 deadline is extended to January the 20th. ------------------------------------- Call For Contributions TYPES 2020 ------------------------------------- ==================================================================== 26th INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS 2020 ==================================================================== https://types2020.di.unito.it Turin, Italy, 2.-5. March 2020 -------------------------------------------------------------------- Submission link:  https://easychair.org/conferences/?conf=types2020. Abstract Submission Deadline: 20.1.2020 (NEW) Notification: 1.2.2020 --------------------------------------------------------------------

INVITED SPEAKERS * Ulrik Buchholtz * Pierre Marie-Pédrot  * Leonardo de Moura  * Sara Negri CONTRIBUTED TALKS We solicit contributed talks:
Selection of those will be based on extended abstracts/short papers  of 2 pp (not including bibliography) formatted with easychair.cls.  The submission site is https://easychair.org/conferences/?conf=types2020.
Important dates:
* abstract submission: 20 January 2020 (new), anywhere on Earth * notification of acceptance/rejection: 1 February 2020 * camera-ready version of abstract: 15 February 2020
Camera-ready versions of the accepted contributions will be published  in an informal book of abstracts for distribution at the workshop.
POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2019, a post-proceedings  volume is planned in the Leibniz International Proceedings in  Informatics (LIPIcs) series (confirmation pending).  Submission to that volume will be open to everyone.
CONTACT Email: ugo.deliguoro AT unito.it