N40AI 2024 Contributors

Sat 20 Jan 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (20)

F Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Invited Talks 3 (part of N40AI ) Committee Member in Organizing Committee within the N40AI -track
G Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Unified Compositional Symbolic Execution
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Session Chair of Short Talks (part of N40AI ) Short talks: Past, Present and Future of AI Committee Member in Organizing Committee within the N40AI -track
Eric GoubaultGoubault, Eric Ecole Polytechnique Short talks: Past, Present and Future of AI
L Xavier LeroyLeroy, Xavier Collège de FranceFrance Mechanizing Abstract Interpretation
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Organizing Committee within the N40AI -track
M Laurent MauborgneMauborgne, Laurent Absint GmbH Short talks: Past, Present and Future of AI
Dominique MeryMery, Dominique Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance Short talks: Past, Present and Future of AI
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Session Chair of Invited Talks 1 (part of N40AI ) Committee Member in Organizing Committee within the N40AI -track
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Short talks: Past, Present and Future of AI
O Peter W. O'HearnO'Hearn, Peter W. Lacework; University College LondonUnited Kingdom AI for the People
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Quantum Abstract Interpretation
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Short talks: Past, Present and Future of AI
R Francesco RanzatoRanzato, Francesco University of PadovaItaly Committee Member in Organizing Committee within the N40AI -track
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Organizing Committee in Organizing Committee within the N40AI -track
S Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Trust but Verify: Scaling Deductive Verification with Abstract Interpretation
David SchmidtSchmidt, David Short talks: Past, Present and Future of AI
U Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Invited Talks 2 (part of N40AI ) Organizing Committee in Organizing Committee within the N40AI -track
W Reinhard WilhelmWilhelm, Reinhard Saarland UniversityGermany Short talks: Past, Present and Future of AI
Y Kwangkeun YiYi, Kwangkeun Seoul National University Program Synthesis via Bi-directional Reduced-product Abstract Interpretation