Thursday 13 March 2025 See also: Thierry CoquandOpening and closing lectures Program Type theory, from Russell to demonstration assistants Thierry Coquand 13 Mar 2025 18:00 - 19:00 Opening lecture Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00 See also Thierry Coquand, chair Computer Sciences and Digital Technologies Opening and closing lectures
