{"count":263,"next":null,"previous":"https://memento.epfl.ch/api/v1/events/?format=json&limit=10&offset=250&ordering=-event__speaker","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":"<strong>By:</strong> Maryna Viazovska and Auguste Poiroux - EPFL<br>\r\n<br>\r\n<strong>Maryna Viazovska - Abstract</strong><br>\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.<br>\r\n<br>\r\n<strong>Auguste Poiroux - Abstract</strong><br>\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.<br>\r\n<br>\r\n<strong>More information</strong><br>\r\n<a href=\"https://aiformath.epfl.ch/\">https://aiformath.epfl.ch/</a> <br>\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":71597,"title":"Entrepreneur Club Ecopreneurship Event","slug":"entrepreneur-club-ecopreneurship-event","event_url":"https://memento.epfl.ch/event/entrepreneur-club-ecopreneurship-event","visual_url":"https://memento.epfl.ch/image/32929/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32929/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32929/max-size.jpg","lang":"en","start_date":"2026-04-22","end_date":"2026-04-22","start_time":"18:30:00","end_time":"20:30:00","description":"<p>Curious about entrepreneurship beyond the typical AI startup path?<br>\r\n<br>\r\nJoin us for an evening exploring how founders are building ventures at the intersection of <strong>technology, innovation, and sustainability-related challenges</strong>. Through firsthand stories and discussion, you’ll gain insights into what it’s like to launch and grow a startup in evolving sectors where impact, tech, and business meet.<br>\r\n<br>\r\nWhat to expect:\r\n</p><ul>\r\n\t<li>Founder perspectives on building and scaling startups</li>\r\n\t<li>Experts in the business sustainability transition</li>\r\n\t<li>Insights into challenges, opportunities, and emerging trends</li>\r\n\t<li>A panel discussion with different viewpoints from the ecosystem</li>\r\n\t<li>Informal networking over pizza </li>\r\n</ul>\r\nWhether you’re exploring ideas, looking for inspiration, or interested in alternative startup paths, this event is for you.<br>\r\n<br>\r\n<strong>Register here:</strong> <a class=\"decorated-link\" data-end=\"1091\" data-start=\"1066\" href=\"https://tally.so/r/zxr4M0\" rel=\"noopener\" target=\"_new\">https://tally.so/r/zxr4M0</a>","image_description":"","creation_date":"2026-04-15T09:31:19","last_modification_date":"2026-04-15T09:31:43","link_label":"Sign-up","link_url":"https://tally.so/r/zxr4M0","canceled":"False","cancel_reason":"","place_and_room":"CL 2 2624","url_place_and_room":"https://plan.epfl.ch/?room==CL%202%202624","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"","organizer":"The Entrepreneur Club EPFL x UNIL","contact":"alexandra.knoblauch@epfl.ch mohamed.laourine@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":"Entrepreneurship, Startups, Sustainability, Tech","file":null,"icalendar_url":"https://memento.epfl.ch/event/export/120384/","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/10/?format=json","https://memento.epfl.ch/api/v1/mementos/38/?format=json","https://memento.epfl.ch/api/v1/mementos/79/?format=json","https://memento.epfl.ch/api/v1/mementos/119/?format=json","https://memento.epfl.ch/api/v1/mementos/422/?format=json"]},{"id":71609,"title":"The Abstraction Trap: Lessons from a Career in the Memory Trenches","slug":"the-abstraction-trap-lessons-from-a-career-in-the","event_url":"https://memento.epfl.ch/event/the-abstraction-trap-lessons-from-a-career-in-the","visual_url":"https://memento.epfl.ch/image/32940/200x112.jpg","visual_large_url":"https://memento.epfl.ch/image/32940/720x405.jpg","visual_maxsize_url":"https://memento.epfl.ch/image/32940/max-size.jpg","lang":"en","start_date":"2026-04-29","end_date":"2026-04-29","start_time":"14:00:00","end_time":"15:00:00","description":"<div><strong><u>Abstract</u></strong><br>\r\nWhy do some foundational technologies advance rapidly while others seem frozen in time? For twenty years, production garbage collectors have remained remarkably stagnant—not for a lack of great ideas, but for a lack of the right abstractions. In this talk, I reflect on a career spent navigating the friction between theory and deployment.  I will explore how high-level abstractions—from strict encapsulation to the \"workpacket\" model—catalyze the innovation necessary to disrupt an industry status quo. Using the MMTk framework as a case study, I'll show how these architectural foundations enabled the development of systems like LXR that significantly outperform the state-of-the-art.  However, innovation is only half the battle. Drawing from recent experiences productizing MMTk for OpenJDK, Julia, and Ruby, I will reveal the hidden impediments to taking even the most promising ideas to production. I will discuss how decades of abstraction leakage in production codebases create a substantial barrier to entry for new ideas.  I'll also discuss the difficulty of motivating adoption when a lack of appropriate methodology causes the true costs of incumbent systems to be underestimated or entirely misunderstood. While this talk draws on the world of memory management, it is not a talk about garbage collection. It is a reflection on the struggle to innovate within established fields and a roadmap for using foundational abstractions to clear the way for the next generation of software.</div>\r\n\r\n<div> </div>\r\n\r\n<div><strong><u>Bio</u></strong><br>\r\nSteve Blackburn is a Senior Staff Research Scientist at Google DeepMind, a professor at the Australian National University and an ACM Fellow.  Steve has a long history in systems and programming languages with a particular interest in management and performance analysis. His current research includes hardware and software garbage collection for the fleet and mobile devices; applying AI to large scale software engineering tasks; and understanding and mitigating silent data corruption.<br>\r\n<br>\r\n<a href=\"https://www.steveblackburn.org/\">More information</a><br>\r\n </div>","image_description":"","creation_date":"2026-04-16T10:01:28","last_modification_date":"2026-04-16T10:08:37","link_label":"","link_url":"","canceled":"False","cancel_reason":"","place_and_room":"BC 410","url_place_and_room":"https://plan.epfl.ch/?room==BC%20410","url_online_room":"","spoken_languages":["https://memento.epfl.ch/api/v1/spoken_languages/2/?format=json"],"speaker":"","organizer":"","contact":"Host: Prof. Nate Foster","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/120399/","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"]}]}