[Hol-info] ThEdu'24 - 2nd Call for Extended Abstracts
2nd Call for Extended Abstracts & Demonstrations ** ThEdu'24 Theorem proving components for Educational software 2 July 2024
[Hol-info] ThEdu'24 - Open Call for Extended Abstracts
Call for Extended Abstracts & Demonstrations * ThEdu'24 Theorem proving components for Educational software 2 July 2024
[Hol-info] ThEdu'23 proceedings - cfp
Open Call for Papers ** Proceedings for ThEdu'23 Theorem Proving Components for Educational Software http://www.uc.pt/en/congressos/thedu/thedu23