Eventos

28 de Noviembre de 2024 - 14:00

Charla "MetaCoq - towards a certified kernel and extraction for Coq"

Expositor: Nicolas Tabareau (Inria, Francia)

4 de Septiembre de 2024 - 12:00

Charla: "3D shape analysis and recognition through geometric considerations"

Silvia Biasotti (IMATI, Italia)

2 de Septiembre de 2024 - 14:30

Charla "A Search for Shape"

Bart Iver van Blokland (Norwegian University of Science and Technology)