Programme

8h30-9h Accueil participants

9h-10h : Keynote - Sarah Cohen-Boulakia (LISN, Université Paris-Saclay)

Reproducible Research: Challenges and Opportunities

10h - 10h25 : Julien Béguinot (LTCI, Institut Polytechnique de Paris)

Formal Security Proofs via Doeblin Coefficients: Optimal Side-channel Factorization from Noisy Leakage to Random Probing

10h25 - 10h50 : Pierre Develter (SONDRA, ONERA, Université Paris-Saclay)

On the False Alarm Probability of the Normalized Matched Filter for off-grid targets: A geometrical approach and its validity conditions

10h50 - 11h20 : pause et posters

11h20 - 11h45 : Zhu Liao (LTCI, Institut Polytechnique de Paris)

Till the Layers Collapse: Compressing a Deep Neural Network Through the Lenses of Batch Normalization Layers

11h45 - 12h10 : Anna Offenwanger (LISN, Université Paris-Saclay)

TimeSplines: Sketch-Based Authoring of Flexible and Idiosyncratic Timelines

12h10 - 14h : repas et posters

14h - 15h : conf invit

15h - 15h25 : Manon Blanc (LIX et LISN, Institut Polytechnique de Paris et Université Paris-Saclay)

Analogue characterisations of complexity classes

15h25 - 15h50 : Dorian Lesbre (CEA LIST, Université Paris-Saclay)

Compiling with Abstract Interpretation

15h50 - 16h20 : pause et posters

16h20 - 16h45 : Thiago Felicissimo Cesar (LMF, Université Paris-Saclay)

Sharing proofs with predicative theories through universe-polymorphic elaboration

16h45 - 17h10 : Apolline Mellot (Inria, Université Paris-Saclay)

Geodesic Optimization for Predictive Shift Adaptation on EEG data

17h10 : remise des prix