Eventos

4 de Diciembre de 2025 - 11:00

Charla "(Nested) Inductive Types in Lean and Rocq"

Nicolas Tabareau (Inria, Francia)

4 de Diciembre de 2025 - 11:00

Charla: Multimodal Interaction for Virtual Reality Sketching and Sculpting

Expositor: Francisco Ortega (Colorado State University)

2 de Diciembre de 2025 - 15:00

Charla: What’s new in hash tables?

Martin Farach-Colton (Universidad de Nueva York)