BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:STANDARD
TZNAME:GMT
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:BST
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:6ac0349e2b35a
DTSTAMP:20261002T224758Z
DTSTART;TZID=Europe/London:20260904T130000
DTEND;TZID=Europe/London:20260904T140000
TZID:Europe/London
SUMMARY:When AI needs logic: solving puzzles, schedules and more
DESCRIPTION:We are delighted to welcome Professor Mateu Villaret from the University of Girona to St Andrews as a Senior Global Fellow.    As part of his visit, Professor Villaret will give a talk exploring the role of logic-based tools in solving complex problems in the era of AI.    In this new era of AI, we increasingly expect "an AI" to solve all kinds of problems. However, generative AI may not be enough to tackle some ubiquitous and highly complex problems, such as timetabling, scheduling, routing and rostering.    In this talk, Professor Villaret will explore how logic-based tools may be the right choice for solving these kinds of problems. We will look at how these tools can be used to model and solve complex combinatorial problems, and why they are particularly well suited to these challenges. https://events.st-andrews.ac.uk/events/when-ai-needs-logic-solving-puzzles-schedules-and-more/
LOCATION:Booth Lecture Theatre, Medicine
URL:https://events.st-andrews.ac.uk/events/when-ai-needs-logic-solving-puzzles-schedules-and-more/
End:VEVENT
End:VCALENDAR