BEGIN:VCALENDAR
VERSION:2.0
PRODID:-// - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://aarms.math.ca
X-WR-CALDESC:Events for 
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230711
DTEND;VALUE=DATE:20230715
DTSTAMP:20260612T111818
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 Selinger":MAILTO:Peter.Selinger@Dal.Ca
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230731
DTEND;VALUE=DATE:20230805
DTSTAMP:20260612T111818
CREATED:20230204T180819Z
LAST-MODIFIED:20230204T180819Z
UID:7069-1690761600-1691193599@aarms.math.ca
SUMMARY:6th International Conference on Applied Category Theory
DESCRIPTION:Established in 2018\, the annual International Conference on Applied Category Theory brings together researchers\, programmers\, scientists and industry who seek to apply the foundational field of category theory to fields outside of mathematics. The ACT Adjoint School is annual research school adjoining the conference. The research school is aimed at fostering an open-hearted and open-minded environment where new applied category theorists develop the skills of research\, welcoming new researchers into cutting-edge research programs in applied category theory\, and to grow and strengthen the applied category theory community. The research school convenes online once every two weeks for 4 months before the conference and concludes research projects during the in-person research week before the conference.
URL:https://aarms.math.ca/event/6th-international-conference-on-applied-category-theory/
LOCATION:University of Maryland\, college Park\, MD\, United States
CATEGORIES:AARMS sponsored events
ORGANIZER;CN="Priyaa Varshinee Srinivasan":MAILTO:priyaavarshinee.srin@ucalgary.ca
END:VEVENT
END:VCALENDAR