[TYPES/announce] VASSAL Workshop: Call for Presentation

[SIGNOLES Julien 215179]

--------------------------  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>