***
Call for Papers (deadline extension)
SPIN 2021
International Symposium on Model Checking of Software
FINAL CALL FOR PAPERS: FroCoS 2021
==
The 13th International Symposium on Frontiers of Combining Systems FroCoS 2021
will be held in the University of Birmingham on September 6-9, 2021.
FroCoS is the main international event for research on the development of
techn
31st International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2021
http://saks.iasi.cnr.it/lopstr21/
Ta
Apologies for multiple copies of this email; please re-distribute as you
see fit.
THIRD CALL FOR PAPERS
19th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2021
2 to 5 November