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/2010/newsitem/2960/6-9
 -July-2010-17th-Workshop-on-Logic-Language-Informa
 tion-and-Computation-WoLLIC-2010-Brasilia-Brazil
DTSTAMP:20090802T000000
SUMMARY:17th Workshop on Logic, Language, Informat
 ion  and Computation (WoLLIC 2010), Brasilia, Braz
 il
DTSTART;VALUE=DATE:20100706
DTEND;VALUE=DATE:20100709
LOCATION:Brasilia, Brazil
DESCRIPTION:WoLLIC is an annual international foru
 m on inter-disciplinary research involving formal 
 logic, computing and programming theory, and natur
 al language and reasoning. Each meeting includes i
 nvited talks and tutorials as well as contributed 
 papers. The Seventeenth WoLLIC will be held in Bra
 silia, Brazil, from July 6th to 9th, 2010.   Speci
 al Event 2010 will mark the 50-th anniversary of t
 he first publication of Paul Halmos' classic book 
 Naive Set Theory by Springer Verlag. WoLLIC will c
 elebrate this by screening the documentary about P
 aul Halmos which was directed by George Csicsery: 
 "I want to be a mathematician. A conversation with
  Paul Halmos" (http://zalafilms.com/films/halmos.h
 tml).   For more information, see http://wollic.or
 g/wollic2010/   Contributions are invited on all p
 ertinent subjects, with particular interest in cro
 ss-disciplinary topics. A title and single-paragra
 ph abstract should be submitted by February 28.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>WoLLI
 C is an annual international forum on inter-discip
 linary\n        research involving formal logic, c
 omputing and programming theory,\n        and natu
 ral language and reasoning. Each meeting includes 
 invited\n        talks and tutorials as well as co
 ntributed papers. The Seventeenth\n        WoLLIC 
 will be held in Brasilia, Brazil, from July 6th to
  9th, 2010.\n      </p>\n      <p>Special Event\n 
        2010 will mark the 50-th anniversary of the
  first publication of Paul\n        Halmos' classi
 c book Naive Set Theory by Springer Verlag. WoLLIC
  will\n        celebrate this by screening the doc
 umentary about Paul Halmos which\n        was dire
 cted by George Csicsery: &quot;I want to be a math
 ematician. A\n        conversation with Paul Halmo
 s&quot; (<a target="_blank" href="http://zalafilms
 .com/films/halmos.html">http://zalafilms.com/films
 /halmos.html</a>).\n      </p>\n    \n      \n    
   <p>For more information, see\n        <a target=
 "_blank" href="http://wollic.org/wollic2010/">http
 ://wollic.org/wollic2010/</a>\n      </p>\n    </d
 iv><div>\n      <p>\n        Contributions are inv
 ited on all pertinent subjects, with particular\n 
        interest in cross-disciplinary topics. A ti
 tle and\n        single-paragraph abstract should 
 be submitted by February 28.\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2010/newsitem/2960/6-9
 -July-2010-17th-Workshop-on-Logic-Language-Informa
 tion-and-Computation-WoLLIC-2010-Brasilia-Brazil
END:VEVENT
END:VCALENDAR