BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv7.32.0//EN
X-ORIGINAL-URL:https://mod.fau.eu/
X-WR-CALNAME:FAU MoD
X-WR-CALDESC:FAU Research Center for Mathematics of Data
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T030000
RRULE:FREQ=YEARLY;BYMONTH=03;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=4SU
END:STANDARD
END:VTIMEZONE
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-1d2a48c55f6f10010887cc7d849469a1@mod.fau.eu
DTSTART;TZID=Europe/Berlin:20240513T090000
DTEND;TZID=Europe/Berlin:20240816T170000
DTSTAMP:20231101T115256Z
CREATED:20231101
LAST-MODIFIED:20240417
PRIORITY:5
SEQUENCE:0
TRANSP:OPAQUE
SUMMARY:Prospects of formal mathematics
DESCRIPTION:Next year, from May 13 to August 16, 2024 there is the Trimester program “Prospects of formal mathematics” at the Haussdorff Research Institute for Mathematics (HIM) at Universität Bonn, organized by our FAU MoD member Michael Kohlhase with Kevin Buzzard, Jacques Carette, Valeria de Paiva and Josef Urban.\nThis program is organised on weekly seminars, informal workshops, and open problem sessions. Its goal is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. It aims to provide a platform for junior researchers to enter Formal Mathematics; a central, unifying theme is to break down adoption barriers of formal methods in Mathematics.\nWithin the program you can attend the School on Formal Mathematics with introductory lectures where key people from the research groups have indicated their willingness to teach (and supervise practical formalization attempts) in this school, drawing on tutorial material of the various systems. Participants of the school will be asked to work on small formalization projects which eventually could lead to contributions to formalization libraries.\nSchool on Formal Mathematics\nMay 13 – 17, 2024\nOnline application\nSee more about this one-week school\nWHERE\nHIM. Haussdorff Research Institute for Mathematics\nHIM Main building (lecture hall): Poppelsdorfer Allee 45, Bonn\nMathematics Center: Endenicher Allee 60, Bonn\nMax Planck Institute for Mathematics (MPI lecture hall): Vivatsgasse 7, Bonn\nLecture hall at the old site of the Mathematical Institute: Wegelerstr. 10, Bonn\nSee more at: https://www.him.uni-bonn.de/about-him/contact/getting-to-him/\nCheck the official page of the event\n\n \n_\nDon’t miss out our last news and connect with us!\nwww.mod.fau.eu/events ( http://www.mod.fau.eu/events )\nLinkedIn | X (Twitter) | Instagram\n
URL:https://mod.fau.eu/events/prospects-of-formal-mathematics/
CATEGORIES:Conference,Seminar/Talk
ATTACH;FMTTYPE=image/png:https://mod.fau.eu/wp-content/uploads/him_schoolMath_may2024.png
END:VEVENT
END:VCALENDAR