BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UM//UM*Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Detroit
TZURL:http://tzurl.org/zoneinfo/America/Detroit
X-LIC-LOCATION:America/Detroit
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260824T125846
DTSTART;TZID=America/Detroit:20260904T150000
DTEND;TZID=America/Detroit:20260904T160000
SUMMARY:Lecture / Discussion:Working Alongside Increasingly Capable AI
DESCRIPTION:Abstract: This will be a very informal talk! We'll start with a high-level overview of how modern LLM systems like Codex and ChatGPT work -- sequence models\, transformers\, pre-training\, post-training\, and agentic tool-use harnesses which let today's models take actions\, write code\, and otherwise interact with their environments.\n\nThen I'll share some of my personal perspective working at an AI lab alongside increasingly-capable AI systems. I'm not a mathematician (anymore!)\, but I work in a highly-technical domain\, and hopefully some of the things I say will resonate or be interesting for you in your own work.\n\nContact:  Karen Smith
UID:148872-21905034@events.umich.edu
URL:https://events.umich.edu/event/148872
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Applied Mathematics,Mathematics
LOCATION:East Hall - 1324
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260828T085915
DTSTART;TZID=America/Detroit:20260908T160000
DTEND;TZID=America/Detroit:20260908T170000
SUMMARY:Lecture / Discussion:Colloquium - First Proof: Mathematics putting AI to the test
DESCRIPTION:Lauren K. Williams received an AB from Harvard University and a PhD from the Massachusetts Institute of Technology. She was a faculty member at the University of California\, Berkeley\, from 2009 to 2018\, prior to returning to Harvard University\, where she is currently the Dwight Parker Robinson Professor of Mathematics. Williams has received various honors\, including a MacArthur fellowship\, a Guggenheim fellowship\, and an NSF Career Grant. While her main research area is algebraic combinatorics (including total positivity and cluster algebras)\, her work is connected to shallow water waves (via soliton solutions of the KP equation)\, traffic flow and protein synthesis (the asymmetric simple exclusion process)\, and scattering amplitudes in high-energy physics. She is one of the editors of First Proof\, which has been benchmarking the ability of AI models to create mathematical proofs.\n\nFirst Proof provides objective\, up-to-date assessments of AI models’ ability to prove specified mathematical statements. This talk will review findings from the project’s first two problem batches and outline plans for its next phase.
UID:146386-21898980@events.umich.edu
URL:https://events.umich.edu/event/146386
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260709T141652
DTSTART;TZID=America/Detroit:20260915T160000
DTEND;TZID=America/Detroit:20260915T170000
SUMMARY:Lecture / Discussion:Colloquium: TBA
DESCRIPTION:TBA
UID:149232-21906021@events.umich.edu
URL:https://events.umich.edu/event/149232
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260709T142431
DTSTART;TZID=America/Detroit:20260929T160000
DTEND;TZID=America/Detroit:20260929T170000
SUMMARY:Lecture / Discussion:Colloquium: TBA
DESCRIPTION:TBA
UID:149288-21906196@events.umich.edu
URL:https://events.umich.edu/event/149288
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260705T092329
DTSTART;TZID=America/Detroit:20261013T160000
DTEND;TZID=America/Detroit:20261013T170000
SUMMARY:Lecture / Discussion:Colloquium: TBA
DESCRIPTION:TBA
UID:148947-21905245@events.umich.edu
URL:https://events.umich.edu/event/148947
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260825T203621
DTSTART;TZID=America/Detroit:20261027T160000
DTEND;TZID=America/Detroit:20261027T170000
SUMMARY:Lecture / Discussion:Colloquium: TBA
DESCRIPTION:TBA
UID:148250-21903442@events.umich.edu
URL:https://events.umich.edu/event/148250
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Applied Mathematics,Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20251028T082420
DTSTART;TZID=America/Detroit:20261110T160000
DTEND;TZID=America/Detroit:20261110T170000
SUMMARY:Lecture / Discussion:2026 Van Eenan Lectures: Ronnie Sircar
DESCRIPTION:TBA
UID:141176-21888297@events.umich.edu
URL:https://events.umich.edu/event/141176
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20251028T082420
DTSTART;TZID=America/Detroit:20261111T160000
DTEND;TZID=America/Detroit:20261111T170000
SUMMARY:Lecture / Discussion:2026 Van Eenan Lectures: Ronnie Sircar
DESCRIPTION:TBA
UID:141176-21888405@events.umich.edu
URL:https://events.umich.edu/event/141176
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20251028T082420
DTSTART;TZID=America/Detroit:20261112T160000
DTEND;TZID=America/Detroit:20261112T170000
SUMMARY:Lecture / Discussion:2026 Van Eenan Lectures: Ronnie Sircar
DESCRIPTION:TBA
UID:141176-21888406@events.umich.edu
URL:https://events.umich.edu/event/141176
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260806T131927
DTSTART;TZID=America/Detroit:20270209T160000
DTEND;TZID=America/Detroit:20270209T170000
SUMMARY:Lecture / Discussion:Colloquium: TBA
DESCRIPTION:TBA
UID:149969-21907456@events.umich.edu
URL:https://events.umich.edu/event/149969
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:colloquium,Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20251205T091103
DTSTART;TZID=America/Detroit:20270420T160000
DTEND;TZID=America/Detroit:20270420T170000
SUMMARY:Lecture / Discussion:Colloquium: TBA
DESCRIPTION:TBA
UID:142065-21889962@events.umich.edu
URL:https://events.umich.edu/event/142065
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
END:VCALENDAR