VerifyThis workshop at ETAPS 2024 has started today and will continue tomorrow!
https://www.pm.inf.ethz.ch/research/verifythis.html
#etaps #etapsconf #etaps2024
2025 edition at ETAPS 2025 in Hamilton, Canada
ETAPS Conferences
