[Hol-info] SPIN 2021 - Final Call for Papers

2021-04-21 Thread Laarman, A.W.
*** Call for Papers (deadline extension) SPIN 2021 International Symposium on Model Checking of Software

[Hol-info] FroCoS 2021 - Final Call for Papers

2021-04-21 Thread geoff
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

[Hol-info] LOPSTR 2021 - 2nd Call For Papers

2021-04-21 Thread Emanuele De Angelis
31st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2021 http://saks.iasi.cnr.it/lopstr21/ Ta

[Hol-info] RAMiCS 2021 - Third CFP

2021-04-21 Thread luigi . santocanale
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