TTT 2017
Wed 18 - Fri 20 January 2017
co-located with POPL 2017
All Editions
Wed 18 - Fri 20 January 2017

TTT 2017 with POPL 2017

TTT : Type Theory Based Tools [We have funding possibilities for students and young researchers, see below. Note the early deadline.] Overview The aim of this workshop is to showcase modern tools based on type theory, whether designed for programming or for verification, whether academic projects or used in an industrial setting. It will provide a forum to highlight and discuss their common and their distincti ...