Joined April 2017
1 Photos and videos
🚨 Only 48 hours left to submit to The Scala Workshop 2026! Whether you're working on theory, tooling, or applications, we want to hear from you! šŸ”— Submit now: scala-workshop.epfl.ch ā„¹ļø More info: 2026.workshop.scala-lang.org

49
We’re happy to announce that Scala Workshop 2026 will take place in Brussels on Monday 29 June 2026, co-located with @ECOOPconf! šŸŽ‰ šŸŽ™ļø Submit your 1–2 page talk proposal on Scala šŸ•’ Deadline: 23 March 2026 šŸ‘‰ 2026.workshop.scala-lang.org… #Scala #ScalaLang #ProgrammingLanguages

3
9
885
🚨 Only 24 hours left to submit to The Scala Workshop 2025! Whether you're working on theory, tooling, or applications—we want to hear from you! šŸ”— Submit now: scala-workshop.epfl.ch ā„¹ļø More info: 2025.workshop.scala-lang.org

1
4
2,102
FP and OO unify again! Join us at the Scala Workshop, co-located with @icfp_conference and @splashcon šŸ’”No papers, just talk proposals! Meet leading researchers, connect with the Scala community, and bring your industry perspective—everyone’s invited. 2025.workshop.scala-lang.org

1
4
13
3,929
Update! The Scala Workshop 2025 submission deadline is now July 18, AoE (11:59 PM UTC-12). More time to submit your talk proposals! Original: x.com/scala_workshop/status/…

FP and OO unify again! Join us at the Scala Workshop, co-located with @icfp_conference and @splashcon šŸ’”No papers, just talk proposals! Meet leading researchers, connect with the Scala community, and bring your industry perspective—everyone’s invited. 2025.workshop.scala-lang.org
4
3
934
The Scala Workshop retweeted
Scala'25 will be co-located with ICFP/SPLASH in Singapore! More details to follow soon! PS: If you get the reference, we should definitely hang out! @scala_workshop @scala_lang
3
12
466
The Scala Workshop retweeted
16 Oct 2024
Announcing new governance structure and release policies for Scala 🄁 šŸŽÆ Product-driven decision making processes ✨ Well-defined distributions šŸ”­ Predictable and frequent releases 🧹 Standardised backlog management šŸ‘‚ Easier access to maintainers scala-lang.org/news/new-gove…

2
30
114
19,000
Scala'22 ends today. Thanks to all the participants! Check out the slides if you missed the great talks: 2022.ecoop.org/home/scala-20…

5
12
The Scala Workshop retweeted
Effects are transitive, which leads to an effect polymorphism problem @odersky at @scala_symposium @ECOOPconf #scala
2
14
The Scala Workshop retweeted
Not that long anymore until #ECOOP22 starts! We will kick off things on June 6th in Berlin with a keynote by the lead designer of Scala @odersky! 2022.ecoop.org/program/progr…
7
16
The deadline for submitting your work to the Scala Symposium is approaching (< 4 days). If you want to submit your work (research paper or student talk) take a look here: 2022.ecoop.org/home/scala-ec…

1
3
9
Deadline extension: Following the requests, the deadline for the Scala Symposium is extended to the 5th of April! 2022.ecoop.org/home/scala-ec…

7
5
Less than two weeks to submit your papers to Scala Symposium. This year, it is collocated with @ECOOPconf : 2022.ecoop.org/home/scala-ec…

8
10
The Scala Workshop retweeted
The CFP for Scala'22 is out. If you have any cool ideas related to Scala, please consider submitting a paper :) 2022.ecoop.org/home/scala-ec…

1
9
16
The Scala Workshop retweeted
Replying to @scala_workshop
@scala_symposium
1
4
6
The papers published at Scala '21 are freely available online dl.acm.org/doi/proceedings/1…

27
70
Less than a week to the Scala Symposium 2021! The program has been published here: 2021.splashcon.org/home/scal… #Scala @splashcon

4
7
Don’t forget to submit your Scala Symposium article or talk before Thursday! 2021.splashcon.org/home/scal…

6
8
The CFP for Scala'21 is out. The symposium will be co-located with the Splash conference. Note the deadline for the submissions: 5th August 2021. 2021.splashcon.org/home/scal…

18
33
Join us tomorrow for Eva Darulova's keynote - Towards a Sound Approximating Compiler for Numerical Kernels - @malyzajko 2020.ecoop.org/home/scala-20… #ecoop20 #Scala @ECOOPconf @splashcon

1
2
4
In this talk, we present the current state of the tool Daisy which approximates numerical kernels in an automated and trustworthy fashion. Daisy allows a programmer to write exact high-level code and generates an efficient implementation satisfying a given accuracy specification.
1
We discuss Daisy’s verification techniques for bounding the effects of numerical errors, and the approximations Daisy can synthesize fully automatically.