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/2015/newsitem/5867/1-4
 -June-2015-4th-International-Congress-on-Tools-for
 -Teaching-Logic-Rennes-France
DTSTAMP:20140810T000000
SUMMARY:4th International Congress on Tools for Te
 aching Logic, Rennes, France
DTSTART;VALUE=DATE:20150601
DTEND;VALUE=DATE:20150604
LOCATION:Rennes, France
DESCRIPTION:The organizing committee invites you t
 o take part in the Fourth International Congress o
 n Tools for Teaching Logic, which will be held in 
 Rennes on June 1-4, 2015. There will be lectures, 
 discussion sessions, round tables and software dem
 onstrations. You are kindly invited to take active
  part in discussion sessions and to exhibit your t
 eaching or professional software.   For more infor
 mation, see http://ttl2015.irisa.fr/   We invite s
 ubmission on all aspects of teaching logics. Submi
 ssion deadline is 18th January 2015.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The o
 rganizing committee invites you to take part in th
 e\n      Fourth International Congress on Tools fo
 r Teaching Logic, which\n      will be held in Ren
 nes on June 1-4, 2015. There will be\n      lectur
 es, discussion sessions, round tables and software
 \n      demonstrations. You are kindly invited to 
 take active part in\n      discussion sessions and
  to exhibit your teaching or professional\n      s
 oftware.\n      </p>\n    \n      \n      <p>For m
 ore information, see\n        <a target="_blank" h
 ref="http://ttl2015.irisa.fr/">http://ttl2015.iris
 a.fr/</a>\n      </p>\n    </div><div>\n      <p>\
 n        We invite submission on all aspects of te
 aching \n        logics.\n        Submission deadl
 ine is 18th January 2015.\n      </p>\n      </div
 >
URL:/NewsandEvents/Archives/2015/newsitem/5867/1-4
 -June-2015-4th-International-Congress-on-Tools-for
 -Teaching-Logic-Rennes-France
END:VEVENT
END:VCALENDAR
