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/2019/newsitem/10358/2-
 --5-July-2019-26th-Workshop-on-Logic-Language-Info
 rmation-and-Computation-WoLLIC-2019-Utrecht-The-Ne
 therlands
DTSTAMP:20190222T160806
SUMMARY:26th Workshop on Logic, Language, Informat
 ion and Computation (WoLLIC 2019), Utrecht, The Ne
 therlands
DTSTART;VALUE=DATE:20190702
DTEND;VALUE=DATE:20190705
LOCATION:Utrecht, The Netherlands
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.  Just before and after the main WoLLIC 201
 9 event, Utrecht University will host two satellit
 e workshops:  -Proof Theory in Logic on 1-2 July 2
 019. This workshop on the role of structural proof
  theory in the study of logics will consist of inv
 ited talks by researchers in that area.  -Composit
 ionality in formal and distributional models of na
 tural language semantics, on July 6 2019.  Contrib
 utions are invited on all pertinent subjects, with
  particular interest in cross-disciplinary topics.
  Proposed contributions should be in English, and 
 consist of a scholarly exposition accessible to th
 e non-specialist, including motivation, background
 , and comparison with related works. The paper's m
 ain results must not be published or submitted for
  publication in refereed venues, including journal
 s and other scientific meetings. It is expected th
 at each accepted paper be presented at the meeting
  by one of its authors.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>WoLLIC is
  an annual international forum on inter-disciplina
 ry research involving formal logic, computing and 
 programming theory, and natural language and reaso
 ning. Each meeting includes invited talks and tuto
 rials as well as contributed papers.</p>\n\n  <p>J
 ust before and after the main WoLLIC 2019 event, U
 trecht University will host two satellite workshop
 s:<br>\n  -Proof Theory in Logic on 1-2 July 2019.
  This workshop on the role of structural proof the
 ory in the study of logics will consist of invited
  talks by researchers in that area.<br>\n  -Compos
 itionality in formal and distributional models of 
 natural language semantics, on July 6 2019.</p>\n<
 /div><div>\n  <p>Contributions are invited on all 
 pertinent subjects, with particular interest in cr
 oss-disciplinary topics. Proposed contributions sh
 ould be in English, and consist of a scholarly exp
 osition accessible to the non-specialist, includin
 g motivation, background, and comparison with rela
 ted works. The paper's main results must not be pu
 blished or submitted for publication in refereed v
 enues, including journals and other scientific mee
 tings. It is expected that each accepted paper be 
 presented at the meeting by one of its authors.</p
 >\n</div>
URL:https://wollic2019.sites.uu.nl
END:VEVENT
END:VCALENDAR