Description du stage
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
Le stage sera assuré entièrement en distanciel, par visioconférence.
Public visé
Professeurs de CPGE de première année et de deuxième année, enseignant l’informatique en option ou en section MPI.
Dates
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.
Partie 1
- jeudi 8 avril le matin
- lundi 12 avril l’après midi
- jeudi 15 avril le matin
Partie 2
- lundi 19 avril l’après midi
- jeudi 22 avril le matin
Partie 3
- lundi 3 mai l’après midi
- jeudi 6 mai le matin
- lundi 10 mai l’après midi
Horaires : Le matin de 9h00 à 10h15 puis de 10h30 à 11h45 ; l’après midi de 14h00 à 15h15 puis de 15h30 à 16h45.
Nombre de places : 20 connexions simultanées
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...
Pour plus de renseignements il est possible de les contacter par email.