General Chairs 

Programme Committee

Steering Committee

Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu.

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