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/2011/newsitem/3333/1-4
 -June-2011-Third-International-Congress-on-Tools-f
 or-Teaching-Logic-TICTTL-Salamanca-Spain
DTSTAMP:20101017T000000
SUMMARY:Third International Congress on Tools for 
 Teaching Logic (TICTTL), Salamanca, Spain
DTSTART;VALUE=DATE:20110601
DTEND;VALUE=DATE:20110604
LOCATION:Salamanca, Spain
DESCRIPTION:The Third International Congress on To
 ols for Teaching Logic (TICTTL), in Salamanca, Spa
 in, will focus on logic teaching software, teachin
 g formal methods, dissemination of logic coursewar
 e, logic games, etc. Previously, these events have
  also been organized in Salamanca, in 2000 and in 
 2006. Invited speakers include David Gries, known 
 as the author of The Science of Programming, and J
 im Henle, known as an author of Sweet Reason. The 
 organizing committee is: Patrick Blackburn, Hans v
 an Ditmarsch, Maria Manzano, and Fernando Soler.  
 For more information, see http://logicae.usal.es/T
 ICTTL/  We are inviting submissions on the topics 
 above, or on any other aspect of teaching logic or
  logic teaching software. Deadline: 8th December 2
 010.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>The
  Third International Congress on Tools for Teachin
 g Logic (TICTTL), in Salamanca, Spain, will focus 
 on  logic teaching software, teaching formal metho
 ds, dissemination of logic courseware, logic games
 , etc. Previously, these events have also\n       
  been organized in Salamanca, in 2000 and in 2006.
  Invited speakers include David Gries, known as th
 e author of The Science of Programming, and Jim He
 nle, known as an author of Sweet Reason. The organ
 izing committee is: Patrick Blackburn, Hans van Di
 tmarsch, Maria Manzano, and Fernando Soler.</p>\n 
    \n      \n        <p>For more information, see 
 <a target="_blank" href="http://logicae.usal.es/TI
 CTTL/">http://logicae.usal.es/TICTTL/</a></p>\n   
  </div><div>\n        <p>We are inviting submissio
 ns on the topics above, or on any other aspect of 
 teaching logic or logic teaching software. Deadlin
 e: 8th December 2010.</p>\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3333/1-4
 -June-2011-Third-International-Congress-on-Tools-f
 or-Teaching-Logic-TICTTL-Salamanca-Spain
END:VEVENT
END:VCALENDAR