Luminy 2025

• Le programme de la semaine.
• 📷 Partagez vos photos de la semaine.
• 💰 Frais de séjour :
  • 17,90€
  • à payer lorsque :
    • on a dormi au moins deux nuits au CIRM,
    • et on n’a pas payé soi-même auprès du CIRM une nuit parmi celles de dimanche soir à jeudi soir,
    • et on n’est pas un orateur ;
  • auprès de Florian par virement FRxx xxxx xxxx xxxx xxxx xxxx xxx (XXXXXXXX) ;
  • IBAN affiché ici uniquement la journée de vendredi.

Quoridor

• S’affronter à quoridor.
• Les sources du serveur.

Puzzles de Stéphane

• Présentation
• Codage des puzzles

Théorie des jeux avec Olivier Serre

• Page web d’Olivier Serre
• En particulier : notes de cours pour le MPRI sur la théorie des jeux.
• Bonne référence moderne sur les jeux sur les graphes : https://arxiv.org/abs/2305.10546
• Une énigme laissée par Olivier :

Soit L un langage rationnel. Le langage K = {u ∣ u^|u| ∈ L} est-il rationnel ?

Boosting et bagging avec Vladislav Tempez

• Présentation sur les méthodes ensemblistes

Activité sur les flottants avec Aslı Grimaud

• Présentation de l’activité
• Projet Ellipse
• Projet Ellipse corrigé

Récursivité mutuelle avec Yann Salmon

• Ressources de l’activité (identification Gitea UPS)

Tester son code avec Yaëlle Vinçont

• Présentation
• Archive avec les démos : couverture et exemples AFL
• Activité fuzzing (copie locale)

Bases de données avec Louis Jachiet

• Matin : Une alternative à l’enseignement de SQL (copie locale)
• Des exercices
• Après-midi 1 : Complexité de divers problèmes et requêtes récursives (copie locale)
  • Faire du datalog
• Après-midi 2 : Bases de connaissances (copie locale)
  • Jouer avec Yago

Parlons OCaml avec Jean-Christophe Filliâtre

• Matin : Présentation
  • Du code OCaml pour dessiner des arbres de Braun.
• Livre : Learn Programming with OCaml

Capytale et évolutions avec Nicolas Poulain

• Linux dans un navigateur

Green ICT avec Anne-Cécile Orgerie

• Présentation
• TP Consommation énergétique des ordinateurs
• Lien vers le TP RAPL
• Lien vers le TP résilience

Discussions libres du mercredi après-midi

Intelligence artificielle avec Jill-Jênn Vie

• Présentation (copie locale)
• TP d’apprentissage machine
• Corrigés :
  • word2vec as Matrix Factorization
  • Attention, Transformers - GPT
• Bonus :
  • Risques et opportunités de l’IA en éducation (copie locale)
  • Efficiency and environmental impact of LLMs (copie locale)

Intelligence artificielle générative avec Marc de Falco

• Présentation

Rocq pour les CPGE avec Yves Bertot

• Rocq pour les CPGE
• test_equations.v
• test_equations_v8_20.v
• web_stub.v
• Coq dans un navigateur