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/5996/20- 23-July-2015-22nd-Workshop-on-Logic-Language-Infor mation-and-Computation-WoLLIC-2015-Bloomington-IN- U-S-A- DTSTAMP:20141031T000000 SUMMARY:22nd Workshop on Logic, Language, Informat ion and Computation (WoLLIC 2015), Bloomington IN, U.S.A. DTSTART;VALUE=DATE:20150720 DTEND;VALUE=DATE:20150723 LOCATION:Bloomington IN, U.S.A. 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-second WoLLIC will be held at t he School of Informatics and Computing, Indiana Un iversity, from July 20th to 23rd, 2015. It is s ponsored by the Association for Symbolic Logic (AS L), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language an d Information (FoLLI), the European Association fo r Theoretical Computer Science (EATCS), the Europe an Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL) (SBL). For more information, see http://wollic.org/wolli c2015/ Contributions are invited on all pertinent subjects, with particular interest in cross-disci plinary topics. A title and single-paragraph abstr act should be submitted by Feb 8, 2015, and the fu ll paper by Feb 15, 2015 (firm date). X-ALT-DESC;FMTTYPE=text/html:
\n WoLLIC is an annual international forum on\n inter-disciplinary research involving formal logic, computing\n and programming theory, an d natural language and reasoning. Each\n meet ing includes invited talks and tutorials as well a s\n contributed papers. The twenty-second WoL LIC will be held at the\n School of Informati cs and Computing, Indiana University, from\n July 20th to 23rd, 2015.\n
\n\n It is sponsored by the Association for\n Symbolic Logic (ASL), the Interest Group in Pur e and Applied\n Logics (IGPL), the The Associ ation for Logic, Language and\n Information ( FoLLI), the European Association for Theoretical\n Computer Science (EATCS), the European Assoc iation for Computer\n Science Logic (EACSL), the Sociedade Brasileira de\n Computa&ccedi l;ão (SBC), and the Sociedade Brasileira\n de Lógica (SBL) (SBL).\n
\n \n \nFor more information, see\n http://wollic.org/wollic2015/\n
Contributions are inv ited on all pertinent\n subjects, with partic ular interest in cross-disciplinary\n topics. A title and single-paragraph abstract should\n be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015\n (firm date).\n
\n