You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: _data/events.yml
+56-55Lines changed: 56 additions & 55 deletions
Original file line number
Diff line number
Diff line change
@@ -4,93 +4,94 @@ scala_lunches:
4
4
footer: |
5
5
Please note that the Scala Center ensures welcoming and safe spaces on all our events. Both the <a href="https://www.epfl.ch/about/overview/wp-content/uploads/2019/12/ComplianceGuideEPFL_EN.pdf">EPFL</a> and <a href="https://www.scala-lang.org/conduct/">Scala Code of Conducts</a> 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 [email protected] (the Scala Center staff receives it), b) send an email to one member of our staff, or c) anonymously fill in <a href="https://docs.google.com/forms/d/e/1FAIpQLSccVqGPhCd-a3a-AvCPFAqzg0mSPPTE-vNU3yXCNb-5qFunvA/viewform">this form</a>. 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.
6
6
events:
7
-
- date: 8 May 2023
8
-
time: "12:00pm"
9
-
place: BC 410, EPFL
10
-
speaker: Solal Pirelli
11
-
title: "Safe Low-Level Code Without Overhead is Practical"
12
-
- date: 8 May 2023
13
-
time: "12:30pm"
14
-
place: BC 410, EPFL
15
-
speaker: Zilu Tian
16
-
title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations"
17
-
- date: 12 June 2023
7
+
# 2024
8
+
9
+
- date: 7 November 2024
18
10
time: "12:00pm"
19
11
place: BC 410, EPFL
20
-
speaker: Nguyen Pham
21
-
title: "Copying stacks for fun and profit: Experimental delimited continuations for Scala Native"
22
-
- date: 12 June 2023
23
-
time: "12:30pm"
24
-
place: BC 410, EPFL
25
-
speaker: Bastien Jolidon & Kelvin Kappeler
26
-
title: "Game verified with Stainless"
27
-
- date: 4 September 2023
12
+
speaker: # To be announced
13
+
title: # to be announced
14
+
15
+
- date: 3 October 2024
28
16
time: "12:00pm"
29
17
place: BC 410, EPFL
30
-
speaker: Martin Odersky
31
-
title: Scala's Role in the Programming Languages Ecosystem
32
-
- date: 2 October 2023
18
+
speaker: # To be announced
19
+
title: # to be announced
20
+
21
+
- date: 5 September 2024
33
22
time: "12:00pm"
34
23
place: BC 410, EPFL
35
-
speaker: Quentin Bernet
36
-
title: Syntax and Runtime Checks for Qualified Types in Scala 3
37
-
- date: 13 November 2023
24
+
speaker: # To be announced
25
+
title: # to be announced
26
+
27
+
- date: "13 June 2024"
38
28
time: "12:00pm"
39
-
place: BC 410, EPFL
40
-
speaker: Dimi Racordon
41
-
title: What does Scala look like for a Swift enthusiast?
42
-
- date: 11 December 2023
29
+
place: "**BC 333**, EPFL"
30
+
speaker: # To be announced
31
+
title: # to be announced
32
+
33
+
- date: 16 May 2024
43
34
time: "12:00pm"
44
35
place: BC 410, EPFL
45
-
speaker: Sébastien Doeraene
46
-
title: Specifying Match Types in Scala 3
47
-
48
-
# 2024
36
+
speaker: "Sébastien Doeraene"
37
+
title: "Compiling Scala.js to WebAssembly"
49
38
50
-
- date: "8 February 2024"
39
+
- date: 11 April 2024
51
40
time: "12:00pm"
52
41
place: BC 410, EPFL
53
-
speaker: "Andy Wingo"
54
-
title: "A New Hope: Compiling Managed Languages to WebAssembly"
42
+
speaker: "Dimi Racordon"
43
+
title: "Demystifying type inference: a quick look dive into the implementation of a typer"
55
44
56
45
- date: 14 March 2024
57
46
time: "**12:15pm**"
58
47
place: "**BC 229**, EPFL"
59
48
speaker: "Seth Tisue"
60
49
title: "Fortify for Scala: A Commercial Back-end Compiler Plugin for Static Security Analysis"
61
-
62
-
- date: 11 April 2024
50
+
51
+
- date: "8 February 2024"
63
52
time: "12:00pm"
64
53
place: BC 410, EPFL
65
-
speaker: "Dimi Racordon"
66
-
title: "Demystifying type inference: a quick look dive into the implementation of a typer"
54
+
speaker: "Andy Wingo"
55
+
title: "A New Hope: Compiling Managed Languages to WebAssembly"
67
56
68
-
- date: 16 May 2024
57
+
- date: 11 December 2023
69
58
time: "12:00pm"
70
59
place: BC 410, EPFL
71
-
speaker: "Sébastien Doeraene"
72
-
title: "Compiling Scala.js to WebAssembly"
60
+
speaker: Sébastien Doeraene
61
+
title: Specifying Match Types in Scala 3
73
62
74
-
- date: 6 June 2024
63
+
- date: 13 November 2023
75
64
time: "12:00pm"
76
65
place: BC 410, EPFL
77
-
speaker: # To be announced
78
-
title: # to be announced
66
+
speaker: Dimi Racordon
67
+
title: What does Scala look like for a Swift enthusiast?
79
68
80
-
- date: 5 September 2024
69
+
- date: 2 October 2023
81
70
time: "12:00pm"
82
71
place: BC 410, EPFL
83
-
speaker: # To be announced
84
-
title: # to be announced
72
+
speaker: Quentin Bernet
73
+
title: Syntax and Runtime Checks for Qualified Types in Scala 3
85
74
86
-
- date: 3 October 2024
75
+
- date: 4 September 2023
87
76
time: "12:00pm"
88
77
place: BC 410, EPFL
89
-
speaker: # To be announced
90
-
title: # to be announced
78
+
speaker: Martin Odersky
79
+
title: Scala's Role in the Programming Languages Ecosystem
91
80
92
-
- date: 7 November 2024
81
+
- date: 12 June 2023
93
82
time: "12:00pm"
94
83
place: BC 410, EPFL
95
-
speaker: # To be announced
96
-
title: # to be announced
84
+
speaker: Nguyen Pham
85
+
title: "Copying stacks for fun and profit: Experimental delimited continuations for Scala Native"
86
+
87
+
- date: 8 May 2023
88
+
time: "12:00pm"
89
+
place: BC 410, EPFL
90
+
speaker: Solal Pirelli
91
+
title: "Safe Low-Level Code Without Overhead is Practical"
92
+
93
+
- date: 8 May 2023
94
+
time: "12:30pm"
95
+
place: BC 410, EPFL
96
+
speaker: Zilu Tian
97
+
title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations"
0 commit comments