TAP 2024

18th International Conference on Tests and Proofs
9, Sep, 2024 to 10, Sep, 2024
Milan, Italy
Homepage: https://tapconference.github.io/2024/Outside Link
Call for Papers: https://tapconference.github.io/2024/callforpapers.html Deadline: 8, May, 2024

TAP 2024 is part of FM 2024.
TAP promotes research in verification and formal methods that targets the interplay of static and dynamic analysis techniques with the ultimate goal of improving software and system dependability.