• 09:00: Frédéric Blanqui. On the use of confluence in type theory modulo rewriting.