[Hol-info] ISABELLE WORKSHOP 2016: Call for Papers

2016-05-09 Thread Tobias Nipkow
Call for Papers ISABELLE WORKSHOP 2016 http://www.in.tum.de/~nipkow/Isabelle2016/ August 25-26, 2016, Nancy Associated with Interactive Theorem

[Hol-info] Vampire Workshop CFP

2016-05-09 Thread Geoff Sutcliffe
= Vampire 2016: The 3rd Vampire Workshop July 2, 2016, part of IJCAR 2016 Coimbra, Portugal http://easychair.org/smart-program/Vampire2016/Overview.html = CALL FOR PAPERS = IMPORTANT DATES: Submission deadline: May 27,

[Hol-info] Deadline extended for eduTPS at CADGME

2016-05-09 Thread Walther Neuper
Extended Deadline for Abstracts and Posters - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - eduTPS: "Justifying (in) Math" Working Group on Education and TP Technology - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

[Hol-info] Call to Vote on Bids to Host ITP 2017

2016-05-09 Thread Jasmin Blanchette
It is a long-standing custom of ITP (and TPHOLs) to vote on where the next installment of the conference should take place. Anyone who is seriously considering attending ITP 2017 is entitled to vote. We received two bids, which can be viewed at

[Hol-info] CFP: WADT 2016

2016-05-09 Thread JAMES P. (366409)
CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques Link: http://cs.swan.ac.uk/wadt16/ When Sep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 3, 2016 Notification June 17, 2016 Final Version Due