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/2013/newsitem/4700/20-
 23-August-2013-20th-Workshop-on-Logic-Language-Inf
 ormation-and-Computation-WoLLIC-2013-Darmstadt-Ger
 many
DTSTAMP:20121024T000000
SUMMARY:20th Workshop on Logic, Language, Informat
 ion and Computation (WoLLIC 2013), Darmstadt, Germ
 any
DTSTART;VALUE=DATE:20130820
DTEND;VALUE=DATE:20130823
LOCATION:Darmstadt, Germany
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 twentieth WoLLIC will be held at the T
 echnische Universität Darmstadt, Germany, from Aug
 ust 20th to 23rd, 2013.  WoLLIC is sponsored by th
 e Association for Symbolic Logic (ASL), the Intere
 st Group in Pure and Applied Logics (IGPL), the Th
 e Association for Logic, Language and Information 
 (FoLLI), the European Association for Theoretical 
 Computer Science (EATCS), the European Association
  for Computer Science Logic (EACSL), Logic (EACSL)
 , the Sociedade Brasileira de Computação (SBC), an
 d the Sociedade Brasileira de Lógica (SBL).  For m
 ore information, see http://wollic.org/wollic2013/
 .    Contributions are invited on all pertinent su
 bjects, with particular interest in cross-discipli
 nary topics. A title and single-paragraph abstract
  should be submitted by March 25th, and the full p
 aper by March 29th (firm date).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>WoLLI
 C is an annual international forum on\n        int
 er-disciplinary research involving formal logic, c
 omputing and\n        programming theory, and natu
 ral language and reasoning. Each meeting\n        
 includes invited talks and tutorials as well as co
 ntributed papers. The\n        twentieth WoLLIC wi
 ll be held at the Technische Universit&auml;t Darm
 stadt,\n        Germany, from August 20th to 23rd,
  2013.</p>\n      <p>WoLLIC is sponsored by the As
 sociation for Symbolic Logic\n      (ASL), the Int
 erest Group in Pure and Applied Logics (IGPL), the
 \n      The Association for Logic, Language and In
 formation (FoLLI), the\n      European Association
  for Theoretical Computer Science (EATCS),\n      
 the European Association for Computer Science Logi
 c (EACSL),\n      Logic (EACSL), the Sociedade Bra
 sileira de\n      Computa&ccedil;&atilde;o (SBC), 
 and the Sociedade Brasileira de\n      L&oacute;gi
 ca (SBL).</p>\n    \n      \n      <p>For more inf
 ormation, see\n        <a target="_blank" href="ht
 tp://wollic.org/wollic2013/">http://wollic.org/wol
 lic2013/</a>.\n      </p>\n    </div><div>\n      
 <p>\n        Contributions are invited on all pert
 inent subjects, with\n        particular interest 
 in cross-disciplinary topics.  A title and\n      
   single-paragraph abstract should be submitted by
  March 25th,\n        and the full paper by March 
 29th (firm date).\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2013/newsitem/4700/20-
 23-August-2013-20th-Workshop-on-Logic-Language-Inf
 ormation-and-Computation-WoLLIC-2013-Darmstadt-Ger
 many
END:VEVENT
END:VCALENDAR