BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2017/newsitem/8698/6--
 -11-August-2017-Workshop-on-Theorem-proving-compon
 ents-for-Educational-software-ThEdu-2017-Gothenbur
 g-Sweden
DTSTAMP:20170221T022524
SUMMARY:Workshop on Theorem proving components for
  Educational software (ThEdu 2017), Gothenburg, Sw
 eden
DTSTART;VALUE=DATE:20170806
DTEND;VALUE=DATE:20170811
LOCATION:Gothenburg, Sweden
DESCRIPTION:Computer Theorem Proving is becoming a
  paradigm as well as a technological base for a ne
 w generation of educational software in science, t
 echnology, engineering and mathematics. This CADE'
 26 workshop brings together experts in automated d
 eduction with experts in education in order to fur
 ther clarify the shape of the new software generat
 ion and to discuss existing systems.  Interested r
 esearchers are invited to submit extended abstract
 s and system descriptions. Both kinds of submissio
 ns should be approximately 5 pages in length and p
 resent original unpublished work not submitted els
 ewhere.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Computer 
 Theorem Proving is becoming a paradigm as well as 
 a technological base for a new generation of educa
 tional software in science, technology, engineerin
 g and mathematics. This CADE'26 workshop brings to
 gether experts in automated deduction with experts
  in education in order to further clarify the shap
 e of the new software generation and to discuss ex
 isting systems.</p>\n</div><div>\n  <p>Interested 
 researchers are invited to submit extended abstrac
 ts and system descriptions. Both kinds of submissi
 ons should be approximately 5 pages in length and 
 present original unpublished work not submitted el
 sewhere.</p>\n</div>
URL:http://www.uc.pt/en/congressos/thedu/thedu17
END:VEVENT
END:VCALENDAR