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:
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
\n \n \nFor m ore information, see\n http://ttl2015.iris a.fr/\n
\n We invite submission on all aspects of teaching \n logics.\n Submission deadline is 18th January 2015.\n
\n