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.
Important Dates:
- 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.
Post-proceedings
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.