changed colloquim room

site/info.md

@@ -27,7 +27,7 @@ Workshop and talks will be held in the Department of Mathematics, University of
 | 15:30-16:30 | **Colloquium 1** | ☕ 💻            | ☕ 💻            |
 | 16:30-17:30 | ☕ 🍷            | workshop         | workshop         |
 
-The colloquium talks will be held in Aula Dal Passo and the workshop sessions in Aula 26.
+The colloquium talks will be held in room 2001 and the workshop sessions in Aula 26.
 
 ::: details Session topics (tap to view)
 
@@ -117,7 +117,7 @@ Contact [Oliver Butterley](https://www.mat.uniroma2.it/butterley/) or another of
       speaker: "Filippo A. E. Nuccio Mortarino Majno di Capriglio",
       title: "How to enjoy a mathematical discussion with your laptop",
       abstract: "In this talk I will illustrate how certain programs, of which Lean is an example, permit to interact with a computer about the logical soundness of mathematical arguments. I will go through the details of well-known proofs trying to understand the feedback provided by the computer and will try to share the fun involved in the process.",
-      time: "Wed 24/01/2024, 15:30-16:30, Aula Dal Passo",
+      time: "Wed 24/01/2024, 15:30-16:30, room 2001",
     },
     {
       speaker: "Floris van Doorn",