BEGIN:VCALENDAR
VERSION:2.0
PRODID:-// - ECPv5.3.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://aarms.math.ca
X-WR-CALDESC:Events for 
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230711
DTEND;VALUE=DATE:20230715
DTSTAMP:20260609T055754
CREATED:20230204T180025Z
LAST-MODIFIED:20230204T180025Z
UID:7064-1689033600-1689379199@aarms.math.ca
SUMMARY:29th Workshop on Logic\, Language\, Information and Computation
DESCRIPTION:WoLLIC is an annual international forum on inter-disciplinary research involving formal logic\, computing and programming theory\, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The 29th WoLLIC will be held at Dalhousie University in Halifax\, Nova Scotia\, Canada\, July 11–14\, 2023. The conference typically covers the following topics: foundations of computing\, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining\, type theory\, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs\, actions and resources; foundational aspects of information organization\, search\, flow\, sharing\, and protection; foundations of mathematics; philosophical logic; philosophy of language.
URL:https://aarms.math.ca/event/29th-workshop-on-logic-language-information-and-computation/
LOCATION:Dalhousie University\, Halifax\, Nova Scotia\, Canada
CATEGORIES:AARMS sponsored events
ORGANIZER;CN="Peter%20Selinger":MAILTO:Peter.Selinger@Dal.Ca
END:VEVENT
END:VCALENDAR