IMT Atlantique OCaml en détail (en visio) du Jeudi 08 avril 2021 au Lundi 10 mai 2021

INSCRIPTION

L’inscription se fait par le formulaire en ligne : ICI

Pour plus de renseignements il est possible de contacter par email Fabien Dagnat (fabien.dagnat@imt-atlantique.fr) ou Jean-Christophe Bach (jc.bach@imt-atlantique.fr), enseignants-chercheurs à IMT Atlantique.

Descriptif - Mots clés

Le stage vise à fournir des outils pratiques et méthodologiques tout en les plaçant dans un contexte théorique.

Il s’articule en trois parties :

— Les bases d’OCaml : paradigmes de programmation, modèle théorique, outils et environnement

— Méthode de programmation : bonnes pratiques, structures de données, séparation des préoccupation, tests

— Mise en pratique sur les automates et la compilation

Noms et qualités des intervenants

— Fabien Dagnat, maître de conférences HDR

— Jean-Christophe Bach, maître de conférences

Tous les deux enseignants-chercheurs dans le domaine du génie logiciel et plus particulièrement sur la production de logiciels de qualité, sûrs et sécurisés. Leurs enseignements et leur recherche portent, entre autres, sur les langages de programmation, la compilation, la vérification de programmes...

Public visé

Professeurs de CPGE de première année et de deuxième année, enseignant l’informa- tique en option ou en section MPI.

Informations pratiques

— Le stage sera assuré entièrement en distanciel, par visioconférence (Zoom ou Webex).

Dates :

a) jeudi 8 avril le matin (partie 1)

b) lundi 12 avril l’après midi (partie 1)

c) jeudi 15 avril le matin (partie 1)

d) lundi 19 avril l’après midi (partie 2)

e) jeudi 22 avril le matin (partie 2)

f) lundi 3 mai l’après midi (partie 3)

g) jeudi 6 mai le matin (partie 3)

h) lundi 10 mai l’après midi (partie 3)

Il y a une continuité dans les séances du stage. Toutefois nous offrons la possibilité (via le formulaire d’inscription) de ne s’inscrire qu’à certaines parties.

Horaires

Le matin de 9h à 10h15 puis de 10h30 à 11h45 ;

l’après midi de 14h à 15h15 puis de 15h30 à 16h45.

Nombre de places offertes

20 connexions simultanées