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:20230710
DTEND;VALUE=DATE:20230715
DTSTAMP:20260612T123755
CREATED:20230204T182700Z
LAST-MODIFIED:20230204T182700Z
UID:7084-1688947200-1689379199@aarms.math.ca
SUMMARY:Junior Math and Computer Science Camp
DESCRIPTION:This week-long day camp is an opportunity for students entering grades 5 or 6 in the Annapolis Valley to participate in fun and enriching science-based activities with Acadia faculty and students to develop their curiosity and enjoyment of math and computer science. It represents an important piece of a multi-year plan to develop the science skills of young students in the Annapolis Valley by bringing young students into the Acadia University outreach program. This will begin the process of positively engaging students with math and computer science at a critical time in their education. Bursaries are provided for those who qualify for financial assistance.
URL:https://aarms.math.ca/event/junior-math-and-computer-science-camp-3/
LOCATION:Acadia University\, Wolfville\, Nova Scotia\, Canada
CATEGORIES:AARMS outreach events
ORGANIZER;CN="Caroline Cochran":MAILTO:caroline.cochran@acadiau.ca
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230711
DTEND;VALUE=DATE:20230715
DTSTAMP:20260612T123755
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
END:VCALENDAR