VSTTE was hosted by ES in Trento on October 17-18, 2022. It was chaired by Akash Lal and Stefano Tonetta, and the general chair was Supratik Chakraborty. It was co-located with FMCAD, which is running from October 18-21, 2022, and chaired by Alberto Griggio and Neha Rungta.
General Info
Start Date: 17 Oct 2022
End Date: 18 Oct 2022
Location: Trento
Contacts
Stefano Tonetta <>
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference