[Hol-info] RAMiCS 2023 - First call for papers

CALL FOR PAPERS 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ I

[Hol-info] ITP 2022: Call for Participation

Call for Participation The International Conference on Interactive Theorem Proving (ITP 2022) will take place on August 7-10, 2022 in Haifa, Israel. It will be part of FLoC 2022 https://floc2022.org/