Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
José A. Galindo @jagalindo.bsky.social 
SPLC 2025 @splcconf.bsky.social 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025
📅 September 1-5, 2025
📍A Coruña, Spain 
Steven Kelly @stevek.metacase.com MetaCase CTO
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Ansgar Scherp @ansgarscherp.bsky.social Researcher, Entrepreneur-thinker, Free-Your-Mind!
Juha-Pekka Tolvanen @mccjpt.bsky.social CEO at MetaCase, provider of MetaEdit+ tool; consultant on modeling, domain-specific language and code generation development, PhD
MetaEdit+ @metaedit.bsky.social MetaEdit+ lets you create World-Class Modeling Tools in minutes - no coding needed. Download https://metacase.com/download/
Carlos E. Cuesta @cecuesta.bsky.social Solo podemos intuir un poco del futuro ante nosotros, pero es suficiente para saber que falta mucho por hacer.