Come and see @cfbolz’s paper at the ICOOOLPS workshop at #ecoop2025 :-)
#ECOOP2025
There, dialled down the #IPv6-snark about our campus-network to only 75%!
We’re taking care of a lot of details for #ecoop2025, but some things are just outside our control. Hope it doesn’t scare our guests too much ;-)
The GPCE 2025 program is online (3. July 2025)!
ECOOP'25 early registration approaching! Don't miss it! We have plenty of interesting satellite events as well!
Meet the AITO Dahl-Nygaard Prize Winners at ECOOP'25:
Mira Mezini, TU Darmstadt (Senior Prize)
Amir Shaikhha, University of Edinburgh (Junior Prize)
Check out their awards-citation:
https://2025.ecoop.org/track/ecoop-2025-awards
It's also the first time that the award named after the two eminent Norwegian pioneers will be presented in 🇳🇴!
ECOOP'25 List of accepted papers! Carefully curated by Alexandra Silva and @JonathanAldrich and their capable PC.
Looking forward to an undoubtedly great program on our campus here at #HVL.
Early registration is open, and keep your eyes peeled for subsidised student-applications!
Third Workshop on Advanced Debugging Techniques (DEBT)
4 July 2025, Bergen, Norway
Co-located with ECOOP 2025
https://2025.ecoop.org/home/debt-2025
Important Dates:
Paper submission deadline: 25 April 2025
Paper notification: 16 May 2025
DEBT’25 is looking to advance state-of-the-art to debug modern software. We welcome researchers from all related areas aimed at helping with the hard task of diagnosing the root cause of bugs, including dynamic and static debugging techniques, online and postmortem debuggers, delta debugging, automatic bug finding, novel visualization techniques for debugging programs, etc.
The workshop aims to gather the community and foster discussion from different perspectives. That is why we seek submissions in the form of papers as well as talks and tool demonstrations.
PLF+PLAID 2025
5th Workshop on Theory and Practice of Decentralized and Local-First Software
Colocated with ECOOP 2025
3-4 July 2025 - Western Norway University of Applied Sciences, Bergen, Norway
https://2025.ecoop.org/home/plf-plaid-2025
Important dates:
* Talk proposals submission: 20 April 2025 (AoE)
* Author notification: 5 May 2025 (AoE)
* Workshop: 3-4 July 2025
PLF+PLAID 2025 is a joint effort combining two workshops from previous years:
PLF (Programming Local-first Software) and PLAID (Principles, Theory, and Practice for Decentralized Applications). The two workshops had significant overlap in their topics, and we aim at bringing together their communities of researchers and practitioners. Talk proposals suitable for either of the earlier workshops are well-suited for PLF+PLAID.
FTfJP 2025
27th International Workshop on Formal Techniques for Judicious Programming, 03
July 2025, Bergen, Norway
Conference website:
https://2025.ecoop.org/home/FTfJP-2025
## Important dates
- Paper submission: 15 April 2025 (AoE)
- Paper notification: 21 May 2025 (AoE)
- Workshop date: 03 July 2025 (co-located with ECOOP 2025)
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.
## Objectives and scope
Formal techniques can help analyse programs, precisely describe program
behaviour, and verify program properties. Modern programming languages (such as C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages research challenges.
FTfJP welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, tools, and position papers as full (12 pages) or short (6 pages) papers.
Just a week left to submit your papers to GPCE 2025, the ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences!
https://2025.ecoop.org/home/gpce-2025#Call-for-Papers
If this is too tight for you, check out the other events that will be at https://2025.ecoop.org in summer.
‼️ The ECOOP 2025 Artifact Evaluation Program Committee is 👉 seeking self-nominations from industry practitioners, researchers & PhD students‼️
Prior experience is appreciated.
(on behalf of Karine Even-Mendoza, Yannick Zakowski, Raphaël Monat)
We are seeking nominations for the 2025 Dahl-Nygaard junior and senior prizes!
** Deadline: 31 January 2025 **
Established by AITO in 2004, these annual prizes are named after Ole-Johan Dahl and Kristen Nygaard, whose pioneering conceptual and technical work in the sixties shaped that view of programming and modeling which is now known as object-orientation.
The winners will be given the opportunity of giving an invited talk at #ECOOP2025 in Bergen, Norway.
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst