BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240903T100000
DTEND;TZID=America/New_York:20240905T160000
DTSTAMP:20260420T072750
CREATED:20240105T031946Z
LAST-MODIFIED:20240918T190637Z
UID:10001110-1725357600-1725552000@cmsa.fas.harvard.edu
SUMMARY:Mathematics and Machine Learning Program Opening Workshop
DESCRIPTION:Mathematics and Machine Learning Program Opening Workshop \nDates: September 3 – 5\, 2024 \nLocation: Room G10\, CMSA\, 20 Garden Street\, Cambridge MA & via Zoom Webinar \nAI for Mathematicians\, with Leon Bottou\, François Charton\, David McAllester\, Adam Wagner\, Boris Hanin\, and Geordie Williamson.  A series of 6 tutorial lectures introducing concepts of AI and of theorem proving\, with many case studies of AI applied to mathematics\, and including lectures and discussion sessions on open questions\, future prospects\, and ethical questions.\n  \nSpeakers \n\nLeon Bottou (Meta AI)\nFrançois Charton (Meta AI)\nMichael R. Douglas (Harvard CMSA)\nBoris Hanin (Princeton)\nDavid McAllester (TTIC)\nAdam Wagner (WPI)\nGeordie Williamson (University of Sydney)\n\nSchedule (link to downloadable pdf) \nVideos from the Opening Workshop (Youtube Link) \n\n\n\nTuesday Sep. 3\, 2024\n\n\n9:30–10:00 am\nMorning refreshments\n\n\n10:00–11:30 am\nMike Douglas: Overview of AI for mathematics\nSlides (pdf)\n\n\n11:30 am–12:00 pm\nDiscussion\n\n\n12:00–1:30 pm\nBreak\n\n\n1:30–2:30 pm\nDavid McAllester: Logic and formal methods\nSlides (pdf)\n\n\n2:30–3:00 pm\nCoffee break\n\n\n3:00–4:00 pm\nPanel Discussion: Automated mathematical discovery\n\n\n\n  \n\n\n\nWednesday Sep. 4\, 2024\n\n\n9:30–10:00 am\nMorning refreshments\n\n\n10:00–11:30 am\nBoris Hanin: Theory of Machine Learning\nSlides (pdf)\n\n\n11:30 am–12:00 pm\nDiscussion\n\n\n12:00–1:30 pm\nBreak\n\n\n1:30–2:30 pm\nAdam Wagner: Case studies I: Reinforcement learning and pattern finding\nSlides (pdf)\n\n\n2:30–3:00 pm\nCoffee break\n\n\n\n  \n\n\n\nThursday Sep. 5\, 2024\n\n\n9:30–10:00 am\nMorning refreshments\n\n\n10:00–11:30 am\nFrançois Charton (slides-pdf)\nand Geordie Williamson: Case studies II\n\n\n11:30 am–12:00 pm\nDiscussion\n\n\n12:00–1:30 pm\nBreak\n\n\n1:30–2:30 pm\nLeon Bottou: Open questions in AI\nSlides (pdf)\n\n\n2:30–3:00 pm\nCoffee break\n\n\n3:00–4:00 pm\nPanel Discussion: How might AI change mathematics?\n\n\n\n  \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mmlworkshop_924/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Workshop
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/ML_Opening-workshop-1.jpg
END:VEVENT
END:VCALENDAR