iiinova — where your digital self keeps evolving

Reposted by @sandragreiner.bsky.social

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 12/11/2025

To apply: ~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~ fa-eosd-saasfaprod1.fa… ~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~ fa-eosd-saasfaprod1.fa… (3/3)

011

Reposted by @sandragreiner.bsky.social

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 11/11/2025

We're looking for researchers passionate about formal methods, theorem proving, and programming languages. We want to push the boundaries of verified computing and make it a viable mainstream technology for the future of computing research and everyday software development. 🌍 Locations: Odense […]

mastodon.acm.org

Original post on mastodon.acm.org

121

Reposted by @sandragreiner.bsky.social

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 11/11/2025

~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~ The first positions at the Centre for Formal Methods and Future Computing (FORM, www.sdu.dk/form) are here! You'll work on the formalisation of computer science as part of a global initiative, CSLib, in […]

mastodon.acm.org

Original post on mastodon.acm.org

112

sandragreiner.bsky.social @sandragreiner.bsky.social · 04/09/2025

Meike Klettke from the University of Regensburg enlightened us about how variability is (not) handled in databases and which role it plays in data evolution. Thanks a lot for broaden the horizons of our community🤩!

021

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 03/09/2025

Jesús Moreno León is opening the 1st session on Applied Variability and Consistency with their research paper "Software variability as a new dimension of computational thinking: an exploration" 🔗Check the full paper: dl.acm.org/doi/10.1145/...

011

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 03/09/2025

Martin Becker presented their industry paper titled "Navigating Heterogeneous Variability: Strategies and Insights from the Industrial Technology Division of ZF Friedrichshafen AG" 🔗Check full paper: doi.org/10.1145/3744...

011

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 04/09/2025

📢Big news from the #SPLC2025 Town Hall! This was the last SPLC Town Hall as we know it — starting next year, we join forces with VAMOS and ICSR to build a bigger community: VARIABILITY 2026 🎉 📍 See you in Limassol, Cyprus! Join us @ #VARIABILITY2026!

011

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 04/09/2025

We continue #SPLC2025 with a keynote by Marsha Chechik from University of Tortonto (@UofT, Canada) Her talk: "Assuring Product Lines of Complex Systems" dives into the challenges and methods to ensure reliability in highly complex product line environments.

031

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 04/09/2025

Yesterday we had a heartwarming reception at the A Coruña City Council. The event was hosted by our General Chair @miguelluaces.bsky.social, the Rector of @udc.gal Ricardo Cao, and the Councilor. A big thanks to the @concellodacoruna.bsky.social for their support in making #SPLC2025 a success!

011

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 04/09/2025

SPLC2025 Session 5 – Machine Learning and LLMs is now underway! We kick off with Mathis Weiß presenting the research paper "Automated Learning of Software Configuration Spaces is not Easy" 🔗Full paper: doi.org/10.1145/3744...

001

Reposted by @sandragreiner.bsky.social

Sebastian Baltes @sbaltes.bsky.social · 02/07/2025

Every career path looks different, and mine is certainly not representative. Interestingly, little is known about typical career paths in the software industry. Let's change that with the career progression study: paulralph.name/career_progr... Please repost!

023

Reposted by @sandragreiner.bsky.social

Judith Michael @judithmichael.bsky.social · 27/06/2025

Don't forget to submit your work to the 2nd Edition of EDTconf: The International Conference on Engineering Digital Twins #EDTconf25 ! - Abstract deadline: 4.7. - Paper deadline: 9.7. More at conf.researchr.org/home/edtconf-2025

The International Conference on Engineering Digital Twins from October 6-7 in Grand Rapids, Michigan, USA.
Participation can be in-person and online.

011

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 30/06/2025

🎉 Registration is OPEN for #SPLC2025! 📅Early bird registration until July 31 (AoE) Each accepted main conference paper must be linked to a regular registration by this date. Join us this September in A Coruña, Spain! 🔗https://2025.splc.net/registration/ #SoftwareProductLines #SPLC

011

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 15/04/2025

📢 We’re excited to announce our #SPLC2025 keynote speakers! 🔸Marsha Chechik from @uoft.bsky.social 🔸Wesley Assunção from @ncstate.bsky.social 🔸Meike Klettke from @uniregensburg.bsky.social Join us in A Coruña, Spain this September for inspiring talks and discussions! #Keynotes #CFP

043

sandragreiner.bsky.social @sandragreiner.bsky.social · 04/04/2025

What a great chance to work on and finalize your contributions 😀 Looking forward to many interesting novel works on managing software product lines and configurable software systems 🤩

031

Reposted by @sandragreiner.bsky.social

SPLC 2025 @splcconf.bsky.social · 03/04/2025

📢 Deadline Extended! Wish granted, you now have 2 more weeks to submit to #SPLC2025! New Deadlines: Abstract: April 17 Full Paper: April 24 📢 Selected papers will be invited to a SoSyM Special Issue! Don't miss this chance! #SPLC #SoftwareProductLines #CFP

113

Reposted by @sandragreiner.bsky.social

Marco Peressotti @mperessotti.bsky.social · 28/11/2024

📢 Faculty Job! We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our research group @sdu.dk 🇩🇰 🔗 About us: acp.sdu.dk 📝 Apply: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid... ⏳ Deadline: 2025-02-01 #AcademicJobs #ResearchJobs

077