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/2016/newsitem/7054/16-
 19-August-2016-23nd-Workshop-on-Logic-Language-Inf
 ormation-and-Computation-WoLLIC-2016-Puebla-Mexico
DTSTAMP:20151112T000000
SUMMARY:23nd Workshop on Logic, Language, Informat
 ion and Computation (WoLLIC 2016), Puebla, Mexico
DTSTART;VALUE=DATE:20160816
DTEND;VALUE=DATE:20160819
LOCATION:Puebla, Mexico
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 twenty-third WoLLIC will be held at th
 e Department of Computer Science, BenemÃ©rita Univ
 ersidad AutÃ³noma de Puebla, MÃ©xico, from August 
 16th to 19th, 2016.    It is sponsored by the Asso
 ciation for Symbolic Logic (ASL), the Interest Gro
 up in Pure and Applied Logics (IGPL), the The Asso
 ciation for Logic, Language and Information (FoLLI
 ), the European Association for Theoretical Comput
 er Science (EATCS), the European Association for C
 omputer Science Logic (EACSL), the Sociedade Brasi
 leira de ComputaÃ§Ã£o (SBC), and the Sociedade Bra
 sileira de LÃ³gica (SBL).   For more information, 
 see http://www.wollic.cs.buap.mx/  Contributions a
 re invited on all pertinent subjects, with particu
 lar interest in cross-disciplinary topics. A title
  and single-paragraph abstract should be submitted
  by Mar 14, 2016, and the full paper by Mar 21, 20
 16 (firm date).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      WoLLIC is an annual international forum on in
 ter-disciplinary research involving formal logic, 
 computing and programming theory, and natural lang
 uage and reasoning. Each meeting includes invited 
 talks and tutorials as well as contributed papers.
  The twenty-third WoLLIC will be held at the Depar
 tment of Computer Science, BenemÃ©rita Universidad
  AutÃ³noma de Puebla, MÃ©xico, from August 16th to
  19th, 2016.\n      </p>\n      <p>\n       It is 
 sponsored by the Association for Symbolic Logic (A
 SL), the Interest Group in Pure and Applied Logics
  (IGPL), the The Association for Logic, Language a
 nd Information (FoLLI), the European Association f
 or Theoretical Computer Science (EATCS), the Europ
 ean Association for Computer Science Logic (EACSL)
 , the Sociedade Brasileira de ComputaÃ§Ã£o (SBC), 
 and the Sociedade Brasileira de LÃ³gica (SBL).\n  
     </p>\n    \n      \n      <p>For more informat
 ion, see\n      <a target="_blank" href="http://ww
 w.wollic.cs.buap.mx/">http://www.wollic.cs.buap.mx
 /</a>\n      </p>\n    </div><div>\n      <p>Contr
 ibutions are invited on all pertinent\n      subje
 cts, with particular interest in cross-disciplinar
 y\n      topics. A title and single-paragraph abst
 ract should\n      be submitted by Mar 14, 2016, a
 nd the full paper by Mar 21, 2016\n      (firm dat
 e).\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7054/16-
 19-August-2016-23nd-Workshop-on-Logic-Language-Inf
 ormation-and-Computation-WoLLIC-2016-Puebla-Mexico
END:VEVENT
END:VCALENDAR
