[Stage Liesse] OCaml en détail

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.

Inscription en ligne

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

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.