CFP Categories

Program verification Call for Papers

CFP DatesLocation
WPTE 2025 : 11th International Workshop on Rewriting Techniques for Program Transformations and EvaluationJul 20, 2025 - Jul 20, 2025Birmingham, UK
SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and ApplicationsDec 01, 2025 - Dec 03, 2025Oxford, United Kingdom

Recent Blog Posts


CFP by Country