Robuta

https://resources.illc.uva.nl/LogicList/newsitem.php?id=9060 CfP postproceedings ThEdu 2018 in EPTCS, Deadline: 18 Nov 2018 cfp eptcs deadline nov https://resources.illc.uva.nl/LogicList/newsitem.php?id=8849 ThEdu 2018: Theorem proving components for educational software, 18 Jul 2018, Oxford, England theorem proving