[Hol-info] ThEdu'22/EPTCS Proceedings - CFP
Open Call for Papers ** Proceedings for ThEdu'22 Theorem Proving Components for Educational Software http://www.uc.pt/en/congressos/thedu/thedu22
[Hol-info] RAMiCS 2023 - Third call for papers
(Apologies for multiple posting) THIRD AND LAST CALL FOR PAPERS 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany