POPL 2024 (series) / N40AI 2024 (series) /
N40AI 2024 Program
This is the N40AI 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 45mTalk | Mechanizing Abstract Interpretation N40AI Xavier Leroy Collège de France | ||
09:45 45mTalk | Program Synthesis via Bi-directional Reduced-product Abstract Interpretation N40AI Kwangkeun Yi Seoul National University |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
11:00 - 12:30 | Invited Talks 2N40AI at Siemens Boardroom Chair(s): Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
11:00 45mTalk | Quantum Abstract Interpretation N40AI Jens Palsberg University of California, Los Angeles (UCLA) | ||
11:45 45mTalk | Trust but Verify: Scaling Deductive Verification with Abstract Interpretation N40AI Mooly Sagiv Tel Aviv University File Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 45mTalk | AI for the People N40AI Peter W. O'Hearn Lacework; University College London | ||
14:45 45mTalk | Unified Compositional Symbolic Execution N40AI Philippa Gardner Imperial College London |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
16:00 - 17:30 | |||
16:00 90mTalk | Short talks: Past, Present and Future of AI N40AI Roberto Giacobazzi University of Arizona, Eric Goubault Ecole Polytechnique, Laurent Mauborgne Absint GmbH, Dominique Mery Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France, David Monniaux Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Andreas Podelski University of Freiburg, David Schmidt , Reinhard Wilhelm Saarland University |