27th 06:50 pm Why does a Turing-complete type system make type checking undecidable? 28th 05:15 pm Call for talk proposals: !!Con 2017
