Call for Papers
ISABELLE WORKSHOP 2016
http://www.in.tum.de/~nipkow/Isabelle2016/
August 25-26, 2016, Nancy
Associated with
Interactive Theorem
=
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,
Extended Deadline for Abstracts and Posters
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
eduTPS: "Justifying (in) Math"
Working Group on Education and TP Technology
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
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
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