/***
name = Types2018
date = 2018-06-06
image = :actualites:ressources:logo-types.jpeg
image tag = TYPES
extra link = https://types2018.projj.eu/invited-talks/
for 2 month until 21 June 2018, priority=low
for 2 weeks until 21 June 2018, priority=normal
for 4 days until 21 June 2018, priority=high
***/
[[https://www.irif.fr/~kesner/|Delia Kesner]] (IRIF) and [[https://www.irif.fr/~sozeau/|Matthieu Sozeau]] (IRIF) will both give 
invited talks entitled //"Multi Types for Higher-Order languages"// 
and //"The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation"//
at [[https://types2018.projj.eu|TYPES 2018,]] held in Braga (Portugal), June 18-21.