From 0b80114dc5497f2833d0ba8eb2e9941ca157edb4 Mon Sep 17 00:00:00 2001 From: meillaud <152893037+meillaud@users.noreply.github.com> Date: Mon, 22 Jan 2024 14:09:21 +0100 Subject: [PATCH] Update events.yml --- _data/events.yml | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/_data/events.yml b/_data/events.yml index 0d072cc..186a070 100644 --- a/_data/events.yml +++ b/_data/events.yml @@ -24,11 +24,6 @@ scala_lunches: place: BC 410, EPFL speaker: Bastien Jolidon & Kelvin Kappeler title: "Game verified with Stainless" - - date: 10 July 2023 - time: "12:00pm" - place: BC 410, EPFL - speaker: # to be announced - title: # to be announced - date: 4 September 2023 time: "12:00pm" place: BC 410, EPFL @@ -51,16 +46,11 @@ scala_lunches: title: Specifying Match Types in Scala 3 # 2024 - - date: 11 January 2024 - time: "12:00pm" - place: BC 410, EPFL - speaker: # To be announced - title: # to be announced - - date: 1 February 2024 + - date: 8 February 2024 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced + speaker: Andy Wingo title: # to be announced - date: 14 March 2024