[TYPES/announce] VASSAL Workshop: Call for Presentation
SIGNOLES Julien 215179
julien.signoles at cea.fr
Mon May 26 11:32:16 EDT 2025
-------------------------- CALL FOR PRESENTATION -------------------
------------------------------
VASSAL Workshop on Software Verification and Runtime Analysis
https://urldefense.com/v3/__https://vassal.fit.vut.cz/vassal-workshop-on-software-verification-and-runtime-analysis__;!!IBzWLUs!W-XLHvJNPZPBYWjolq2wi-t-g61WpqtKOeVYNOZc7hJkpyVHqkQKHLDh9KddBVErjL_qeoaVp4qUlm59RTPl3qOVAFRKhgQnpSTW1Wm4$
September 15, 2025 in Graz, Austria
-----------------------------------------------------------------------
--------------------------------------------
We invite presentation abstracts (1-2 pages) describing ongoing
research, recent results, concrete use cases, or works already
published in international venues.
At least one author of the accepted presentation is expected to present
their work at the workshop at Graz, Austria.
Dates:
- Submission deadline: July 16, 2025
- Notification: July 30, 2025
- Workshop: September 15, 2025
Topics:
We welcome submissions on all aspects of software verification, runtime
analysis, and system safety, including but not limited to:
- Logic, automata and decision procedures
- Formal specification languages and correctness proofs
- Runtime monitoring, enforcement, and dynamic analysis
- Automated verification, synthesis, and static analysis
- Integration of static verification with runtime monitoring
- AI-driven techniques for verification and system analysis
- Economic evaluation of verification tools in industry
Contributions addressing challenges in safety-critical systems (e.g.,
automotive, aerospace, medical devices) are especially encouraged
Submissions:
Presentation abstracts (1-2 pages) must be written in English and
submitted electronically in PDF format using the link below. The 1-2
page limit includes all text and figures, but excludes references.
Submission link: https://urldefense.com/v3/__https://easychair.org/conferences?conf=vassal2025__;!!IBzWLUs!W-XLHvJNPZPBYWjolq2wi-t-g61WpqtKOeVYNOZc7hJkpyVHqkQKHLDh9KddBVErjL_qeoaVp4qUlm59RTPl3qOVAFRKhgQnpVQ2LLw1$
Organisers:
Julien Signoles (Université Paris-Saclay, CEA, List) and Milan Češka
(Brno University of Technology)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250526/4104f0d3/attachment-0001.htm>
More information about the Types-announce
mailing list