We solicit contributed talks based on extended abstracts/short papers of 2 pages prepared in LaTeX and formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2016.
- submission of title + abstract: 29 February 2016
- notification of acceptance: 4 April 2016
- camera-ready version of abstracts: 11 April 2016
Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.
Similarly to TYPES 2011, 2013, 2014, 2015, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series (subject to successful negotiation with Dagstuhl Publishing). Submission to that volume would be open for everyone. Tentative submission deadline: September 2016.