CFP Categories
Program verification Call for Papers
CFP | Dates | Location |
---|---|---|
WPTE 2025 : 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation | Jul 20, 2025 - Jul 20, 2025 | Birmingham, UK |
SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications | Dec 01, 2025 - Dec 03, 2025 | Oxford, United Kingdom |