The SPAI final review will be on 18/01/23 at Inria Paris (salle Flajolet).
Au programme:
10h00-11h00 SPAI: Présentation générale, bilan du défi et futur (discussion en présence de Jean-Frédéric Gerbeau)- Tamara Rezk
11h00-11h40 JavaScript sandboxing and Security Analyses (+ demo)- Tamara Rezk
11h40-12h10 Skeletal Semantics by Example – Alan Schmitt
12h10-12h40 Webi: a formal semantics for IoT application and its symbolic executor, (+ demo) – Adam Khayam
12h40-14h00 Pause déjeuner
14h00-14h30 HipHop.js: (A)Synchronous Web Reactive Programming (+demo) – Manuel Serrano
14h30-15h30 Discussions finales et conclusion
