{"count":265,"next":null,"previous":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=250&ordering=-event__url_link","results":[{"id":71585,"title":"IC Colloquium: Sphere Packing Problem and AI-Assisted Formalization","slug":"ic-colloquium-sphere-packing-problem-and-ai-assi-2","event_url":"https://memento.epfl.ch/event/ic-colloquium-sphere-packing-problem-and-ai-assi-2","visual_url":null,"visual_large_url":null,"visual_maxsize_url":null,"lang":"en","start_date":"2026-04-20","end_date":"2026-04-20","start_time":"10:15:00","end_time":"11:15:00","description":"By: Maryna Viazovska and Auguste Poiroux - EPFL
\r\n
\r\nMaryna Viazovska - Abstract
\r\nThe talk will present the path toward formalizing the sphere packing problem in dimensions 8 and 24. It will highlight the main milestones achieved so far, the role of AI, and the challenges arising in large-scale formalization projects.
\r\n
\r\nAuguste Poiroux - Abstract
\r\nOver the last year, AI systems have progressed rapidly in mathematics and are beginning to tackle conjectures and open problems. This progress is exciting, but it also raises a verification challenge. Sophisticated proofs, whether written by humans or generated by AI, require substantial expertise and time to check, and AI increases this burden by producing candidate proofs at scale. Formalization, the translation of mathematical content into proof assistant code, provides a promising way forward. Manual formalization, however, still requires substantial effort and expertise. Autoformalization, using AI, is now showing key progress in addressing this bottleneck. In roughly one year, the state of the art has moved from barely formalizing undergraduate-level statements to automatically formalizing whole papers and textbooks. In this talk, I will present my work on the topic at EPFL and Math, Inc. More specifically, I will discuss autoformalization in the context of Sphere Packing in dimensions 8 and 24, the verification of AI solutions to conjectures using autoformalization, and the next steps in AI for mathematics.
\r\n
\r\nMore information
\r\nhttps://aiformath.epfl.ch/ 
\r\n ","image_description":"","creation_date":"2026-04-14T09:56:59","last_modification_date":"2026-04-14T11:04:54","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"BC 420","url_place_and_room":"https://plan.epfl.ch/?room==BC%20420","url_online_room":"https://epfl.zoom.us/j/67078120700","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"","organizer":"","contact":"Host: Viktor Kuncak","is_internal":"False","theme":"","vulgarization":{"id":1,"fr_label":"Tout public","en_label":"General public"},"registration":{"id":3,"fr_label":"Entrée libre","en_label":"Free"},"keywords":"","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120366/","category":{"id":1,"code":"CONF","fr_label":"Conférences - Séminaires","en_label":"Conferences - Seminars","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/50/?format=json","https://memento.epfl.ch/api/v1/mementos/151/?format=json"]},{"id":71590,"title":"Advection by shears with critical points in the presence of diffusion","slug":"advection-by-shears-with-critical-points-in-the-pr","event_url":"https://memento.epfl.ch/event/advection-by-shears-with-critical-points-in-the-pr","visual_url":"https://memento.epfl.ch/image/32923/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32923/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32923/max-size.jpg","lang":"en","start_date":"2026-05-08","end_date":"2026-05-08","start_time":"14:15:00","end_time":null,"description":"
Abstract:
\r\nShear flows are one of the most well studied classes of vector fields. An important feature of shear flows is their ability to generate small scales and mix quantities that they transport. For passive scalar transport, these mixing rates can be quantified in a rather straightforward way. 
\r\n\r\n
However, quantifying mixing rates for 2d Euler linearized around non-monotone shears is surprisingly subtle due to an effect known as vorticity depletion which is not present in the passive transport case. Since real fluids have viscosity, a natural question is to understand whether mixing rates persist in the presence of viscosity. In this talk, I will discuss recent progress on addressing this question for both the passive scalar advection-diffusion equation and the linearized Navier-Stokes equation. Based on joint work with Dallas Albritton (University of Wisconsin), Shan Chen (University of Minnesota), and Hao Jia (University of Minnesota). 
\r\n\r\n
 
","image_description":"","creation_date":"2026-04-14T13:45:00","last_modification_date":"2026-04-14T13:45:00","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"MA B1 11","url_place_and_room":"https://plan.epfl.ch/?room==MA%20B1%2011","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"Prof. Rajendra Beekie (Imperial College London)","organizer":"Prof. Maria Colombo","contact":"Dr. Michele Dolce","is_internal":"False","theme":"","vulgarization":{"id":1,"fr_label":"Tout public","en_label":"General public"},"registration":{"id":3,"fr_label":"Entrée libre","en_label":"Free"},"keywords":"","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120374/","category":{"id":1,"code":"CONF","fr_label":"Conférences - Séminaires","en_label":"Conferences - Seminars","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/7/?format=json","https://memento.epfl.ch/api/v1/mementos/259/?format=json"]},{"id":71591,"title":"Decision Making under Risk and Uncertainty","slug":"decision-making-under-risk-and-uncertainty","event_url":"https://memento.epfl.ch/event/decision-making-under-risk-and-uncertainty","visual_url":"https://memento.epfl.ch/image/32924/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32924/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32924/max-size.jpg","lang":"en","start_date":"2026-06-08","end_date":"2026-06-08","start_time":"10:00:00","end_time":"12:00:00","description":"EDIC candidacy exam
\r\nExam president: Prof. Emre Telatar
\r\nThesis advisor: Prof. Michael Gastpar
\r\nCo-examiner: Prof. Negar Kiyavash
\r\n
\r\nAbstract
\r\nIn real-world decision problems, human needs can differ widely in background, culture, and objectives, making it difficult to design a single universal value function for agents. To design a model dealing with specific tasks, a natural starting point is to specify an appropriate utility (reward) function and optimize it. However, in practice, there are many factors that require attention when making decisions. This work mainly considers two factors: risk and uncertainty, and aims to study decision making through an information-theoretic lens, developing algorithms and interpretations for optimizing risk-sensitive utility functions under uncertainty.
\r\n
\r\nSelected papers
\r\ncoming soon","image_description":"","creation_date":"2026-04-14T14:29:53","last_modification_date":"2026-04-14T14:29:53","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"BC 133","url_place_and_room":"https://plan.epfl.ch/?room==BC%20133","url_online_room":"","spoken_languages":[],"speaker":"Bo-Yu Yang","organizer":"","contact":"edic@epfl.ch","is_internal":"False","theme":"","vulgarization":{"id":1,"fr_label":"Tout public","en_label":"General public"},"registration":{"id":3,"fr_label":"Entrée libre","en_label":"Free"},"keywords":"EDIC candidacy exam","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120375/","category":{"id":1,"code":"CONF","fr_label":"Conférences - Séminaires","en_label":"Conferences - Seminars","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/48/?format=json"]},{"id":71592,"title":"Performance Interfaces for SSD-backed Systems","slug":"performance-interfaces-for-ssd-backed-systems","event_url":"https://memento.epfl.ch/event/performance-interfaces-for-ssd-backed-systems","visual_url":"https://memento.epfl.ch/image/32925/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32925/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32925/max-size.jpg","lang":"en","start_date":"2026-05-29","end_date":"2026-05-29","start_time":"11:00:00","end_time":"13:00:00","description":"EDIC candidacy exam
\r\nExam president: Prof. Sanidhya Kashyap
\r\nThesis advisor: Prof. George Candea
\r\nCo-examiner: Prof. Thomas Bourgeat
\r\n
\r\nAbstract
\r\ncoming soon
\r\n
\r\nSelected papers
\r\ncoming soon","image_description":"","creation_date":"2026-04-14T14:33:29","last_modification_date":"2026-04-14T14:33:29","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"INN 326","url_place_and_room":"https://plan.epfl.ch/?room==INN%20326","url_online_room":"","spoken_languages":[],"speaker":"Roshan Ramachandran Nair","organizer":"","contact":"edic@epfl.ch","is_internal":"False","theme":"","vulgarization":{"id":1,"fr_label":"Tout public","en_label":"General public"},"registration":{"id":3,"fr_label":"Entrée libre","en_label":"Free"},"keywords":"EDIC candidacy exam","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120376/","category":{"id":1,"code":"CONF","fr_label":"Conférences - Séminaires","en_label":"Conferences - Seminars","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json","https://memento.epfl.ch/api/v1/mementos/48/?format=json"]},{"id":71599,"title":"Multimodal Reasoning for Human Behavior Understanding","slug":"multimodal-reasoning-for-human-behavior-understand","event_url":"https://memento.epfl.ch/event/multimodal-reasoning-for-human-behavior-understand","visual_url":"https://memento.epfl.ch/image/32931/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32931/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32931/max-size.jpg","lang":"en","start_date":"2026-06-24","end_date":"2026-06-24","start_time":"09:30:00","end_time":"11:30:00","description":"EDIC candidacy exam
\r\nExam president: Prof. Robert West
\r\nThesis advisor: Prof. Alexander Mathis
\r\nCo-examiner: Prof. Mathieu Salzmann
\r\n
\r\nAbstract
\r\ncoming soon
\r\n
\r\nSelected papers
\r\ncoming soon","image_description":"","creation_date":"2026-04-15T11:07:56","last_modification_date":"2026-04-15T11:07:56","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"SV 2510","url_place_and_room":"https://plan.epfl.ch/?room==SV%202510","url_online_room":"","spoken_languages":[],"speaker":"Matea Tashkovska","organizer":"","contact":"edic@epfl.ch","is_internal":"False","theme":"","vulgarization":{"id":1,"fr_label":"Tout public","en_label":"General public"},"registration":{"id":3,"fr_label":"Entrée libre","en_label":"Free"},"keywords":"EDIC candidacy exam","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120386/","category":{"id":1,"code":"CONF","fr_label":"Conférences - Séminaires","en_label":"Conferences - Seminars","activated":true},"academic_calendar_category":null,"domains":[],"mementos":["https://memento.epfl.ch/api/v1/mementos/48/?format=json","https://memento.epfl.ch/api/v1/mementos/6/?format=json","https://memento.epfl.ch/api/v1/mementos/27/?format=json"]}]}