BEGIN:VCALENDAR
CALSCALE:GREGORIAN
METHOD:PUBLISH
PRODID:-//github.com/rianjs/ical.net//NONSGML ical.net 4.0//EN
VERSION:2.0
X-FROM-URL:https://eom.sdu.dk/events/ical/72477840-ecf9-4d74-af2e-556ec5ab
 16ea
X-WR-CALNAME:IMADA Talks med Xueying Qin og Lars Rohwedder
BEGIN:VTIMEZONE
TZID:Europe/Copenhagen
X-LIC-LOCATION:Europe/Copenhagen
BEGIN:DAYLIGHT
DTSTAMP:20260928T152720Z
DTSTART:20261028T030000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
UID:4fc4fa96-27b2-47ae-a203-937ea43b6103
END:DAYLIGHT
BEGIN:STANDARD
DTSTAMP:20260928T152720Z
DTSTART:20260325T020000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
UID:d9f403a1-0903-4b13-9325-f80e1332c64e
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DESCRIPTION:Kom og vær med til 2 x 20 min. inspirerende foredrag\, mens du
  nyder en gratis "afslappet after-work" øl med dine medstuderende\, kolle
 ga eller lærer.\n\nTil denne IMADA Talk kan du møde postdoc Xueying Qin (
 emne: Using LLMs in Lean 4: The Next Stage of Proof Automation) og lektor
  Lars Rohwedder (emne: AI for Math and TCS Research: A User's Perspective
 ).
DTEND:20261023T140000Z
DTSTAMP:20260928T152720Z
DTSTART:20261023T131500Z
LOCATION:Syddansk Universitet\, Campusvej 55\, 5230\, Odense M
SEQUENCE:0
SUMMARY:IMADA Talks med Xueying Qin og Lars Rohwedder
UID:37eb4602-c390-4876-8cfe-7b0c1832dde8
END:VEVENT
END:VCALENDAR