École Informatique 2019 - Programmation fonctionnelle

from Monday, 16 September 2019 (10:00) to Friday, 20 September 2019 (16:00)
Centre J. Bosco

        : Sessions
    /     : Talks
        : Breaks
16 Sep 2019
17 Sep 2019
18 Sep 2019
19 Sep 2019
20 Sep 2019
AM
10:00 --- Pause café ---
10:30 Organisation de l'école et logistique - Thierry OLLIVIER (IPNL)   ()
10:40 Objectifs de l'école et fonctionnement des TD - Antoine Pérus (Cnrs/In2p3/Lal)   ()
11:00 Concepts de la programmation fonctionnelle (1/5) - Gabriel Scherer (INRIA)   ()
09:00 Concepts de la programmation fonctionnelle (4/5) - Gabriel Scherer (INRIA)   ()
10:30 --- Café ---
11:00 Concepts de la programmation fonctionnelle (5/5) - Gabriel Scherer (INRIA)   ()
09:00 Atelier C++   ()
09:00 Atelier Java/Scala   ()
09:00 Atelier Python   ()
10:30 --- Café ---
11:00 Atelier C++   ()
11:00 Atelier Java/Scala   ()
11:00 Atelier Python   ()
09:00 Atelier C++   ()
09:00 Atelier Python   ()
10:30 --- Café ---
11:00 Atelier C++   ()
11:00 Atelier Python   ()
09:30 Property based testing   ()
10:45 --- Café ---
11:15 Property based testing   ()
PM
12:30 --- Déjeuner ---
14:00 Concepts de la programmation fonctionnelle (2/5) - Gabriel Scherer (INRIA)   ()
15:30 --- Pause café ---
16:00 Concepts de la programmation fonctionnelle (3/5) - Gabriel Scherer (INRIA)   ()
18:30 --- Apéritif ---
19:00 --- Diner ---
12:30 --- Déjeuner ---
14:00 Idiomes de programmation fonctionnelle pour les langages courants 1/2 - Gabriel Scherer   ()
15:30 --- Café ---
16:00 Idiomes de programmation fonctionnelle pour les langages courants 2/2 - Gabriel Scherer   ()
19:00 --- Diner ---
12:30 --- Déjeuner ---
14:00 Atelier C++   ()
14:00 Atelier Java/Scala   ()
14:00 Atelier Python   ()
15:30 --- Café ---
16:00 Culture Fonctionnelle : Haskell - Alexandre Delanoë (ISCPIF)   ()
19:00 --- Diner ---
20:00 Retour d'expérience Haskell - Alexandre Delanoë (ISCPIF)   ()
12:30 --- Déjeuner ---
14:00 Atelier C++   ()
14:00 Atelier Python   ()
15:30 --- Café ---
16:00 Culture Fonctionnelle : Monads - Gabriel Scherer (INRIA) Alexandre Delanoë (ISCPIF)   ()
19:45 --- Bouchon lyonnais ---
12:30 --- Déjeuner ---
14:00 Culture fonctionnelle : F# - Francois David Collin ({CNRS}UMR5149)   ()
15:00 Bilan de l'ANF   ()