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.


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.

Important Dates

  •  submission of title + abstract:

29 February 2016

  • notification of acceptance: 

4 April 2016

  • camera-ready version of abstracts:  

11 April 2016


Invited speakers


Satellite events

9th Workshop Computational Logic and Applications - CLA 2016

EUTYPES COST meeting, May 25 - 26