EasyChair Smart CFPDocs/Log in
All CFPs for "rewriting"

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

Acronym
NameLocation
Submission
deadline
Start date
Topics
Add to watchlist
WPTE 202511th International Workshop on Rewriting Techniques for Program Transformations and EvaluationBirmingham, UKMay 14, 2025Jul 20, 2025rewriting program transformation operational semantics program verificationadd WPTE 2025 to watchlist
CSL 202634th EACSL Annual Conference on Computer Science LogicParis, FranceJul 21, 2025Feb 23, 2026logic in computer science formal methods and verification automata and games rewritingadd CSL 2026 to watchlist
Copyright © 2002 – 2025 EasyChair