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
Sun 14 Jan 2024
Mon 15 Jan 2024
Tue 16 Jan 2024
Sat 20 Jan 2024
Rooms
Maxwell Library
Riverside Room
Siemens Boardroom
Tracks
N40AI
POPL Catering
Badges
Nothing to filter
Your Program
Nothing to filter
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 | ||