🎨

site/index.md

@@ -6,7 +6,7 @@ hero:
   name: "Computer-verified proofs: 48 hours in Rome"
   text: "24-26 January 2024"
   tagline:
-    "A short program consisting of colloquium talks and workshop sessions focussed on Lean 4 and its mathematical library.
+    "A short program consisting of talks and workshop sessions focussed on Lean 4 and its mathematical library.
     We will explore diverse aspects of computer-verified proofs and digital mathematical libraries."
   image:
     src: robots.jpeg

site/team.ts

@@ -2,7 +2,7 @@ export const team = [
   {
     name: "Riccardo Brasca",
     github: "riccardobrasca",
-    description: "Speaker",
+    description: "Speaker and scientific organizer",
     link: "https://webusers.imj-prg.fr/~riccardo.brasca/",
   },
   {
@@ -14,7 +14,7 @@ export const team = [
   {
     name: "Kevin Buzzard",
     github: "kbuzzard",
-    description: "Speaker",
+    description: "Speaker and scientific organizer",
     link: "https://wwwf.imperial.ac.uk/~buzzard/",
   },
   {
@@ -38,7 +38,7 @@ export const team = [
   {
     name: "Filippo A. E. Nuccio Mortarino Majno di Capriglio",
     github: "faenuccio",
-    description: "Speaker",
+    description: "Speaker and scientific organizer",
     link: "https://perso.univ-st-etienne.fr/nf51454h/",
   },
   {