SCHEDULE

Mon. 13

8:50–10:10 Introduction to Differentiable Programming – Part I

Damiano Mazza (CNRS) – Course details

10:10–10:30 Coffee Break

10:30–12:00 Probabilistic Bisimulation Metrics and Their Applications to Representation Learning – Part I

Prakash Panangaden (McGill University) – Course details

12:00–13:40 Lunch

13:40–15:10 Probabilistic Program Semantics – Part I

Christine Tasson (Sorbonne Université) – Course details

15:10–15:30 Coffee Break

15:30–17:00 Introduction to Differentiable Programming – Part II

Damiano Mazza (CNRS) – Course details

Tue. 14

8:50–10:10 Picturing Quantum Software – Part I

Aleks Kissinger (University of Oxford) – Course details

10:10–10:30 Coffee Break

10:30–12:00 Introduction to Differentiable Programming – Part III

Damiano Mazza (CNRS) – Course details

12:00–13:40 Lunch

13:40–15:10 Resource Analysis and Theorem Proving in Liquid Haskell – Part I

Niki Vazou (IMDEA) – Course details

15:10–15:30 Coffee Break

15:30–17:00 Probabilistic Bisimulation Metrics and Their Applications to Representation Learning – Part II

Prakash Panangaden (McGill University) – Course details

17:00–18:30 Probabilistic Program Semantics – Part II

Christine Tasson (Sorbonne Université) – Course details

Wed. 15

8:50–10:10 Probabilistic Program Semantics – Part III

Christine Tasson (Sorbonne Université) – Course details

10:10–10:30 Coffee Break

10:30–12:00 Quantitative Verification, Transformer-style – Part I

Benjamin Kaminski (Saarland University) – Course details

12:00–13:40 Lunch

13:40–15:10 Probabilistic Bisimulation Metrics and Their Applications to Representation Learning – Part III

Prakash Panangaden (McGill University) – Course details

15:10–15:30 Coffee Break

15:30–16:30 Quantitative Types for Higher-Order Programming Languages

Delia Kesner (Université de Paris) – Seminar details

16:30–18:00 Picturing Quantum Software – Part II

Aleks Kissinger (University of Oxford) – Course details

Thu. 16

8:50–9:50 Equational Theories for Probabilistic Effects

Valeria Vignudelli (CNRS) – Seminar details

9:50–10:10 Coffee Break

10:10–11:40 Relational Reasoning for Security and Privacy – Part I

Marco Gaboardi (Boston University) – Course details

11:40–13:20 Lunch

13:20–14:40 Resource Analysis and Theorem Proving in Liquid Haskell – Part II

Niki Vazou (IMDEA) – Course details

14:40–15:00 Coffee Break

15:00–16:30 Quantitative Verification, Transformer-style – Part II

Benjamin Kaminski (Saarland University) – Course details

16:30 – 18:00 Relational Reasoning for Security and Privacy – Part II

Marco Gaboardi (Boston University) – Course details

Fri. 17

8:50–10:10 Quantitative Verification, Transformer-style – Part III

Benjamin Kaminski (Saarland University) – Course details

10:10–10:30 Coffee Break

10:30–12:00 Picturing Quantum Software – Part III

Aleks Kissinger (University of Oxford) – Course details

12:00–13:40 Lunch

13:40–15:10 Relational Reasoning for Security and Privacy – Part III

Marco Gaboardi (Boston University) – Course details

15:10–15:30 Coffee Break

15:30–17:00 Resource Analysis and Theorem Proving in Liquid Haskell – Part III

Niki Vazou (IMDEA) – Course details