BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:AI4Math Workshop: Shaping the Future of Mathematics with AI
DTSTART:20261204T083000Z
DTEND:20261204T140000Z
UID:8a425a20-f0ad-491a-8943-254aa6bae8d1
DESCRIPTION:Artificial intelligence is starting to change how mathematicia
 ns work\, from automating proof discovery and formalisation to assistance 
 with paper writing and reviewing. This half-day workshop brings together m
 athematicians in the Netherlands to develop a shared vision: what should m
 athematics with AI look like\, and what do we need to get there?\n\nLocati
 on:\nTuring Hall\, Science Park 123\, 1098 XG Amsterdam
LOCATION:Turing Hall\, Science Park 123\, 1098 XG Amsterdam
END:VEVENT
END:VCALENDAR