BEGIN:VCALENDAR
VERSION:2.0
TIMEZONE:Europe/Oslo
PRODID:w3-182221@uib.no
URL:https://www.uib.no/nb/fof/182221/mathematical-proof-age-ai-conceptual-
 implications-use-artificial-intelligence
NAME:Mathematical Proof in the Age of AI. Conceptual Implications of the
 Use of Artificial Intelligence in Mathematical Research
BEGIN:VEVENT
UID:w3-182221@uib.no
DTSTAMP:20260409T100532Z
DTSTART:20261007T070000Z
DTEND:20261008T140000Z
SUMMARY:Mathematical Proof in the Age of AI. Conceptual Implications
 of the Use of Artificial Intelligence in Mathematical Research
LOCATION:Sydnesplassen 12-13, seminarrom i 1. etg.
URL:https://www.uib.no/nb/fof/182221/mathematical-proof-age-ai-concept
 ual-implications-use-artificial-intelligence
CLASS:PUBLIC
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR