From f1d8692f6f56b887eff1291a89b52177558d73fd Mon Sep 17 00:00:00 2001 From: faenuccio Date: Wed, 24 Jan 2024 12:59:28 +0100 Subject: [PATCH] changed colloquim room --- site/info.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/site/info.md b/site/info.md index ba4fa4d..2415729 100644 --- a/site/info.md +++ b/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",