Event List
retrieve:
Return the details about the given Event id.
list:
List all Event objects.
GET /api/v1/events/?format=api&offset=260&ordering=-event__speaker
{ "count": 262, "next": null, "previous": "https://memento.epfl.ch/api/v1/events/?format=api&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=api" ], "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=api", "https://memento.epfl.ch/api/v1/mementos/27/?format=api", "https://memento.epfl.ch/api/v1/mementos/50/?format=api", "https://memento.epfl.ch/api/v1/mementos/151/?format=api" ] }, { "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=api" ], "speaker": "", "organizer": "The Entrepreneur Club EPFL x UNIL", "contact": "[email protected] [email protected]", "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=api", "https://memento.epfl.ch/api/v1/mementos/38/?format=api", "https://memento.epfl.ch/api/v1/mementos/119/?format=api", "https://memento.epfl.ch/api/v1/mementos/422/?format=api" ] } ] }
