[Hol-info] cfp ThEdu'19 post-proceedings

2019-09-18 Thread Walther Neuper
Open Call for Papers ** Postproceedings for ThEdu'19 by EPTCS Theorem Proving Components for Educational Software http://www.uc.pt/en/congressos/thedu/th

[Hol-info] CfP ThEdu'19

2019-02-25 Thread Walther Neuper
Call for Extended Abstracts & Demonstrations ** ThEdu'19 Theorem proving components for Educational software 25 or 26 August 2019