[Hol-info] ThEdu'15, Theorem proving components for Educational software, cfp

Last Call for Extended Abstracts & Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'15 Theorem proving components for Educational software July 13-17, 2015

[Hol-info] Fwd: advertising email

Our apologies if you receive multiple copies of this email. We kindly ask you to forward this email to interested students and postdoctoral researchers. CALL FOR PARTICIPATION