The SPAI kickoff will be on 31/5/18 at Inria Paris, Bâtiment : C, Étage : 1 (salle 114).
Au programme:
09h45-10h00 Café
10h00-10h10 Tour de table
10h10-10h50 SPAI presentation – Tamara Rezk, Indes (goals and organization) slides
10h50-11h30 Hop.js language and code injection – Manuel Serrano, Indes (WP1, WP4)
11h30-12h10 Privacy language – Raúl Pardo, Privatics (WP1, WP2) slides
12h10-12h50 Co-spécifier les programmes et leur environnement IoT? : la
piste réactive synchrone et temps logique – Robert de Simone, Kairos (WP1, WP2) slides
12h50-14h30 Pause déjeuner
14h30-15h10 Formal Semantics and Certified Analyses of Hop.js – Alan Schmitt, Celtique (WP5) slides
15h10-15h40 Pause café
15h40-16h30 Static Analyses – Xavier Rival, Antique (WP3) slides
16h30-16h50 Discussion
