[Hol-info] ThEdu'22/EPTCS Proceedings - CFP

2022-09-10 Thread Walther Neuper
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

2022-09-10 Thread Michael Winter
(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