BEGIN:VCALENDAR
PRODID:-//WikiCFP//thedu 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260413T231858Z
DTSTART;VALUE=DATE:20190825
DTEND;VALUE=DATE:20190826
SUMMARY:ThEdu - Post-Proceedings 2019
DESCRIPTION:International Workshop on Theorem proving components for Educ
 ational software - Post Proceedings
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94153&copyow
 nerid=157246
UID:cfp804652-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260413T231858Z
DTSTART;VALUE=DATE:20191118
SUMMARY:ThEdu - Post-Proceedings 2019 Deadline
DESCRIPTION:International Workshop on Theorem proving components for Educ
 ational software - Post Proceedings
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94153&copyow
 nerid=157246
UID:cfp804652-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260413T231858Z
DTSTART;VALUE=DATE:20191216
SUMMARY:ThEdu - Post-Proceedings 2019 Notification Due
DESCRIPTION:International Workshop on Theorem proving components for Educ
 ational software - Post Proceedings
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94153&copyow
 nerid=157246
UID:cfp804652-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260413T231858Z
DTSTART;VALUE=DATE:20200120
SUMMARY:ThEdu - Post-Proceedings 2019 Final Version Due
DESCRIPTION:International Workshop on Theorem proving components for Educ
 ational software - Post Proceedings
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=94153&copyow
 nerid=157246
UID:cfp804652-N@wikicfp.com
END:VEVENT
END:VCALENDAR