The VASSAL Workshop on Software Verification and Runtime Analysis

I'll present our #CAV25 paper "Full LTL Synthesis over Infinite-State Arenas" at the #VASSAL workshop in Graz (co-located with #RV25)! My pal and colleague Shaun gave an excellent presentation in Zagreb, hope I'll match that bar :)
#academicchatter #compsky #compsci
vassal.fit.vut.cz/vassal-works...

MOSCA’25 Meeting on String Constraints and Applications 2025

The third Meeting on String Constraints and Applications (MOSCA'25) will take place at CAV'25 (@confcav.bsky.social) in Zagreb, Croatia on July 22. Early registration is deadline June 22. See mosca2025.github.io for more information, including confirmed speakers. #cav25

Full LTL Synthesis over Infinite-state Arenas Recently, interest has increased in applying reactive synthesis to richer-than-Boolean domains. A major (undecidable) challenge in this area is to establish when certain repeating behaviour terminates...

Final preprint of our #CAV25 paper is on ArXiv! And with a shiny Reusable badge awarded to our software artifact 🏅
See you in Zagreb!
doi.org/10.48550/arX...
#compsci #compsky #synthesis

Accepted Papers | CAV 2025 #### Research Papers * Verifying Tree-Manipulating Programs via CHCs Marco Faella (University of Naples Federico II); Gennaro Parlato (University of Molise) * Automatic Verification of Floating-Point ...

The list of accepted papers for CAV 2025 is now out!
conferences.i-cav.org/2025/accepted/
Register for #cav25 now at: conferences.i-cav.org/2025/registr...

The HYPER 2025 workshop will be co-located with
@confcav.bsky.social in Zagreb, Croatia, on July 21, with an incredible invited speaker line-up: @thenzinger.bsky.social, Clara Schneidewind, @emanueledosualdo.com, and Yu Wang!
Submit your abstract by May 30 at hyperworkshop25.cispa.io! #cav25

Our paper "Full LTL Synthesis over Infinite-state Arenas" has been accepted to #cav25! I am so glad that all the hard work has finally paid off. 1/3 🧵
@confcav.bsky.social #cav25 #compsky #compsci