Workshops
Verification Mentoring Workshop (VMW)
Jean-Baptiste Jeannin, Arjun Radhakrishna, Suguman Bansal, Roopsha Samantha, Caterina Urban
Verifying Probabilistic Programs (VeriProP)
Fredrik Dahlqvist, Sebastian Junges, Benjamin Kaminski, Christoph Matheja
4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
Aws Albarghouthi, Guy Katz, Nina Narodytska