Inria Rennes — Courses & Lectures

Talks & colloquia from Inria Rennes

1

Self-contained research seminars, public lectures, and invited colloquia.

Constitution Day Address: Cultural Elites, Truth-Seeking & Constitutional Originalism

An ICFP 2026 presentation on extending confluence techniques to dependent type theories with typed conversion, a critical advancement for meta-theoretic studies and correctness proofs of implementations.

Faculty & visiting speakers at Inria Rennes

1

Professors, researchers, and invited lecturers recorded at Inria Rennes.

Thiago Felicissimo

Speaker at Inria Rennes

1 lecture

All recorded lectures from Inria Rennes

1

Browse, filter, and sort every lecture from Inria Rennes.

Showing 1 of 1 lectures

jknavigate↵watchcchaptersssavexwatched

Save

Constitution Day Address: Cultural Elites, Truth-Seeking & Constitutional Originalism

Theory & Algos·Conference Talk·Algorithms & Data Structures · Thiago Felicissimo · Inria Rennes

Thiago Felicissimo

Inria Rennes

18:03