BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240329T091012Z DTSTART;TZID=Australia/Melbourne:20180504T070000 DTEND;TZID=Australia/Melbourne:20180504T090000 SUMMARY:Algebra and Artificial Intelligence UID:20240329T091012Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Old Quad\, Parkville\, Australia\, 3010 DESCRIPTION:
Daniel Murfet (Melbourne) will present "Algebra and Artificial Intelligence" at 11 on 4 May in Old Quad G10.
\nAbstract: I will give a non-technical survey of the connections between algebra (broadly interpreted) and automated or mechanistic reasoning\, from Leibniz through to recent work on &ldquo\;neurosymbolic program synthesis&rdquo\; at research labs in Google\, Facebook and elsewhere. The aim is to provide some context in which to understand the developing role of logic in an age of artificial intelligence.\n \; ORGANIZER;CN=Shawn Standefer: METHOD:PUBLISH END:VEVENT END:VCALENDAR