From 808cde4c8e63e224b1a5de62059aaf184c6d0c7b Mon Sep 17 00:00:00 2001 From: meillaud <152893037+meillaud@users.noreply.github.com> Date: Fri, 31 May 2024 11:53:47 +0200 Subject: [PATCH 1/2] Update events.yml changed date of next lunch from June 6th to June 13th re ordered all lunch dates from most recent (top) to oldest (bottom) for better visibility --- _data/events.yml | 133 +++++++++++++++++++++++++++-------------------- 1 file changed, 78 insertions(+), 55 deletions(-) diff --git a/_data/events.yml b/_data/events.yml index 9c10c47..dfaa8b8 100644 --- a/_data/events.yml +++ b/_data/events.yml @@ -4,93 +4,116 @@ scala_lunches: footer: | Please note that the Scala Center ensures welcoming and safe spaces on all our events. Both the EPFL and Scala Code of Conducts apply. We encourage you to report inappropriate behavior either through EPFL channels or directly to us. Depending on what seems most comfortable to you, use one of the following channels: a) send an email to scala.center@epfl.ch (the Scala Center staff receives it), b) send an email to one member of our staff, or c) anonymously fill in this form. We take reports seriously and react as quickly as possible to find appropriate solutions. Our entire staff is receiving continuous training in how to handle basic reported cases. For more complex ones, we may either reach out to appropriate EPFL channels or a mediation company that supports us. All cases are treated respectfully and with full confidentiality. events: - - date: 8 May 2023 - time: "12:00pm" - place: BC 410, EPFL - speaker: Solal Pirelli - title: "Safe Low-Level Code Without Overhead is Practical" - - date: 8 May 2023 - time: "12:30pm" - place: BC 410, EPFL - speaker: Zilu Tian - title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations" - - date: 12 June 2023 + # 2024 + + - date: 7 November 2024 time: "12:00pm" place: BC 410, EPFL - speaker: Nguyen Pham - title: "Copying stacks for fun and profit: Experimental delimited continuations for Scala Native" - - date: 12 June 2023 - time: "12:30pm" - place: BC 410, EPFL - speaker: Bastien Jolidon & Kelvin Kappeler - title: "Game verified with Stainless" - - date: 4 September 2023 + speaker: # To be announced + title: # to be announced + + - date: 3 October 2024 time: "12:00pm" place: BC 410, EPFL - speaker: Martin Odersky - title: Scala's Role in the Programming Languages Ecosystem - - date: 2 October 2023 + speaker: # To be announced + title: # to be announced + + - date: 5 September 2024 time: "12:00pm" place: BC 410, EPFL - speaker: Quentin Bernet - title: Syntax and Runtime Checks for Qualified Types in Scala 3 - - date: 13 November 2023 + speaker: # To be announced + title: # to be announced + + - date: "13 June 2024" time: "12:00pm" - place: BC 410, EPFL - speaker: Dimi Racordon - title: What does Scala look like for a Swift enthusiast? - - date: 11 December 2023 + place: "**BC 333**, EPFL" + speaker: # To be announced + title: # to be announced + + - date: 16 May 2024 time: "12:00pm" place: BC 410, EPFL - speaker: Sébastien Doeraene - title: Specifying Match Types in Scala 3 - -# 2024 + speaker: "Sébastien Doeraene" + title: "Compiling Scala.js to WebAssembly" - - date: "8 February 2024" + - date: 11 April 2024 time: "12:00pm" place: BC 410, EPFL - speaker: "Andy Wingo" - title: "A New Hope: Compiling Managed Languages to WebAssembly" + speaker: "Dimi Racordon" + title: "Demystifying type inference: a quick look dive into the implementation of a typer" - date: 14 March 2024 time: "**12:15pm**" place: "**BC 229**, EPFL" speaker: "Seth Tisue" title: "Fortify for Scala: A Commercial Back-end Compiler Plugin for Static Security Analysis" - - - date: 11 April 2024 + + - date: "8 February 2024" time: "12:00pm" place: BC 410, EPFL - speaker: "Dimi Racordon" - title: "Demystifying type inference: a quick look dive into the implementation of a typer" + speaker: "Andy Wingo" + title: "A New Hope: Compiling Managed Languages to WebAssembly" - - date: 16 May 2024 + - date: 11 December 2023 time: "12:00pm" place: BC 410, EPFL - speaker: "Sébastien Doeraene" - title: "Compiling Scala.js to WebAssembly" + speaker: Sébastien Doeraene + title: Specifying Match Types in Scala 3 - - date: 6 June 2024 + - date: 13 November 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Dimi Racordon + title: What does Scala look like for a Swift enthusiast? - - date: 5 September 2024 + - date: 2 October 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Quentin Bernet + title: Syntax and Runtime Checks for Qualified Types in Scala 3 - - date: 3 October 2024 + - date: 4 September 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Martin Odersky + title: Scala's Role in the Programming Languages Ecosystem - - date: 7 November 2024 + - date: 12 June 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Nguyen Pham + title: "Copying stacks for fun and profit: Experimental delimited continuations for Scala Native" + + - date: 8 May 2023 + time: "12:00pm" + place: BC 410, EPFL + speaker: Solal Pirelli + title: "Safe Low-Level Code Without Overhead is Practical" + + - date: 8 May 2023 + time: "12:30pm" + place: BC 410, EPFL + speaker: Zilu Tian + title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations" + + + + + + + + + + + + + + + + + + + + + + From 4de1a0756ce8ad4a90691e53fd329bca0411f3e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= Date: Fri, 31 May 2024 13:12:13 +0200 Subject: [PATCH 2/2] Update events.yml --- _data/events.yml | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/_data/events.yml b/_data/events.yml index dfaa8b8..86b10e1 100644 --- a/_data/events.yml +++ b/_data/events.yml @@ -95,25 +95,3 @@ scala_lunches: place: BC 410, EPFL speaker: Zilu Tian title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations" - - - - - - - - - - - - - - - - - - - - - -