The Scala Workshop

66 posts

The Scala Workshop

The Scala Workshop

@scala_workshop

Formerly the Scala Symposium. See you in Brussels on Monday 29 June 2026!

Singapore Katılım Nisan 2017
15 Takip Edilen362 Takipçiler
The Scala Workshop
The Scala Workshop@scala_workshop·
@icfp_conference @splashcon 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…
The Scala Workshop@scala_workshop

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

English
0
4
3
898
The Scala Workshop retweetledi
Oliver Bračevac
Oliver Bračevac@etaconversion·
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
Oliver Bračevac tweet media
English
0
3
12
455
The Scala Workshop retweetledi
Scala
Scala@scala_lang·
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-gover…
English
2
31
115
19K
The Scala Workshop
The Scala Workshop@scala_workshop·
Scala'22 ends today. Thanks to all the participants! Check out the slides if you missed the great talks: #event-overview" target="_blank" rel="nofollow noopener">2022.ecoop.org/home/scala-202…
English
0
5
12
0
The Scala Workshop
The Scala Workshop@scala_workshop·
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-eco…
English
1
3
9
0
The Scala Workshop
The Scala Workshop@scala_workshop·
Less than a week to the Scala Symposium 2021! The program has been published here: #program" target="_blank" rel="nofollow noopener">2021.splashcon.org/home/scala-202… #Scala @splashcon
English
0
4
7
0
The Scala Workshop
The Scala Workshop@scala_workshop·
Don’t forget to submit your Scala Symposium article or talk before Thursday! #Call-for-Papers" target="_blank" rel="nofollow noopener">2021.splashcon.org/home/scala-202…
English
0
6
8
0
The Scala Workshop
The Scala Workshop@scala_workshop·
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. #Call-for-Papers" target="_blank" rel="nofollow noopener">2021.splashcon.org/home/scala-202…
English
0
18
33
0
The Scala Workshop
The Scala Workshop@scala_workshop·
We discuss Daisy’s verification techniques for bounding the effects of numerical errors, and the approximations Daisy can synthesize fully automatically.
English
0
0
0
0
The Scala Workshop
The Scala Workshop@scala_workshop·
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.
English
1
0
0
0