YES - da er det blevet tid til at sætte ❌ til #KV2025 og #RV2025. Mit lokale kryds bliver sat ved min mest lokale kandidat, som ikke opstiller for et af de mest rabiate partier. Jeg kommer absolut IKKE til at sætte ❌ ved samme parti til #FV2026, men i mine øjne er det meget vigtigt, at jeg har en..
Escalfem motors i posem cara als representants de @redvertice.org que podreu conèixer el 28 de novembre! #RV2025
📄 My tool paper "Execution and monitoring of HOA automata with HOAX" has been accepted to RV 2025! My first sole-author publication 🥹
🔗 And the tool is open source! github.com/lou1306/hoax
See you in Graz!
#compsci #compsky #automata #rv2025 #runtimeverification
There's still time to submit your papers/abstracts to Runtime Verification 2025! Ezio Bartocci will be organising the conference at TU Graz in September.
https://rv25.isec.tugraz.at
#RuntimeVerification #rv2025 @tugraz.bsky.social
🔋 Green tech, 🏠 modern comfort, and 🌞 energy optimization: find out what’s coming in next year’s RVs!
Curious? Read our latest blog post to learn more about what’s ahead!
👉 rvcare.ca/blog/buying-...
#rv2025 #rvinnovation #rvtravel #rvcanada #newrv
🔋 Green tech, 🏠 modern comfort, and 🌞 energy optimization: find out what’s coming in next year’s RVs!
Curious? Read our latest blog post to learn more about what’s ahead!
👉 rvcare.ca/blog/buying-...
#rv2025 #rvinnovation #rvtravel #rvcanada #newrv