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.