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

GitHub - lou1306/hoax: Execute automata written in the Hanoi format (HOA) Execute automata written in the Hanoi format (HOA) - lou1306/hoax

📄 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

RV25 – 25th International Conference on Runtime Verification

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

What’s New for 2025 in RV’s | RV CARE Discover what’s new for RVs in 2025! Explore innovations like eco-friendly designs, advanced tech features, and enhanced comfort options. Lightweight travel ...

🔋 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