BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260430T055019Z
DTSTART;TZID=Asia/Shanghai:20251028T090000
DTEND;TZID=Asia/Shanghai:20251028T100000
SUMMARY:From ancient logic to the birth of AI
UID:20260502T082759Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
TZID:Asia/Shanghai
LOCATION:Hangzhou\, China
DESCRIPTION:<p>Abstract: We briefly sketch the history of logic as the origin of computing machines and later on the program of AI. Then we look at two specific case studies: the birth of logics for program correctness\, and the rise of non-monotonic logics for commonsense inference. We conclude with a brief historical roadmap of contacts between Logic and AI\, which have changed considerably over time.</p>
ORGANIZER;CN=Huang Huaxin:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR