Archives de
Auteur : Julien Deseigne

Soirée de clôture

Soirée de clôture

Mathinfoly 2019 se finit en beauté en mettant les derniers grains de folie dans une soirée emplie de jeux : tarot, baby-foot, billard, sudoku, picross, etc.

La fin de l’école fait germer les premiers souvenirs de la semaine dans l’esprit des jeunes, de la Research Squad et de la Team Plaisir Maths.

C’est dans ces moments que le plaisir d’être ensemble se ressent le mieux et c’est dans le coeur de tous que l’espoir d’une prochaine école d’été fait son chemin … pour 2020 !?

Suivez-nous :
Journée de clotûre : « Game Forever »

Journée de clotûre : « Game Forever »

Le vendredi 30 août est la dernière journée de l’école d’été mathinfoly. Chaque groupe d’étudiants présente leurs projets de modélisation de contrainte des jeux suivants :

  • Sudoku (2 groupes)
  • Squaro (1 groupe)
  • Futoshiki (1 groupe)
  • Picross (2 groupes)
  • Tetravex (1 groupe)
  • Rubik’s cube (1 groupe)
  • Coloration de graphes (2 groupes)

À l’issue des présentations, deux votes sont organisés pour récompenser les trois meilleures présentations :

  • Un vote des étudiants qui, chacun, vote pour 2 équipes.
  • Un vote du jury composée de conférenciers, chercheur.e.s et organisateurs.

Les trois équipes récompensées par ordre décroissant sont :

  • Tetravex pour une présentation riche en contenus et une qualité exceptionnelle des réponses aux questions posées par les étudiants et les encadrants !
  • Rubik’s cube pour une présentation claire de leur modélisation qui donne déjà des premiers résultats malgré la très grande difficulté à modéliser les règles de ce jeu sur un peu moins de 10 jours ! Pari audacieux à moitié accompli !
  • Picross II pour une présentation astucieuse et créative de leur modélisation !

Cela n’occulte pas la qualité des autres présentations à la hauteur d’une implication constante et enthousiaste des groupes sur leurs projets !

Bravo à toutes et tous !

Suivez-nous :
Comment vérifier formellement des programmes avec Coq ?

Comment vérifier formellement des programmes avec Coq ?

La deuxième session de cours de l’école d’été mathinfoly 2019 est conduite par Dr. Catalin Hricu, chercheur à l’INRIA Paris.

Son cours se concentre sur l’assistant de vérification de programmes appelé COQ et l’apprentissage de la programmation fonctionnelle pour implémenter l’assistant et vérifier des théorèmes de logique.

Un cours certes exigeant pour les étudiants mais qui a pu se concrétiser grâce aux multiples TDs accompagnés par la Reserach Squad de Catalin : Jérémy, Exequiel, Roberto et Florian.

Vous retrouverez l’ensemble du cours et des exercices sur le lien suivant : https://prosecco.gforge.inria.fr/personal/hritcu/teaching/lyon2019/.

Suivez-nous :
Soirée « Blockchain & Société »

Soirée « Blockchain & Société »

L’école d’été Mathinfoly s’est ouvert le mardi 27 août autour des enjeux de société de la technologie blockchain.

Sur trois lieux centrés autour de la Fabrique de l’Innovation à Lyon à 20h30, trois ateliers ont été animés par :

  • Isabelle Radtke, scultpeur, artiste et ingénieur innovation, pour le projet artistique « Forest as DAO ». Un projet inspiré du Plantoïd, une sculpture qui collecte des bitcoins en séduisant le public et émet des smart contracts pour se reproduire avec l’aide d’artistes : https://www.pourlascience.fr/sd/art-science/terminator-et-la-petite-fleur-9637.php !
  • Julien Béranger, chargé de la communication à iExec et co-fondateur de DAO Masters, pour un système de votes en ligne reposant sur la technologie blockchain.
  • Dr. Pascal Lafourcade, maître de conférence à l’Université Clermont Auvergne, sur les cryptomonnaies. C’est un débat dédié à la question suivante : « Libra une monnaie propriétaire VS Bitcoin une monnaie open source que penser de ces deux modes de gouvernance différents, pouvez-vous en imaginer d’autres ? »

L’atelier qui a eu le plus de succès auprès des étudiants est celui sur le système de votes en ligne à partir d’Aragon et la généralisation autour des organisations autonomes décentralisées (D.A.O. en anglais).

L’atelier avec Isabelle a démarré sur la pelouse, peu avant le coucher du soleil, où a été présentée un Plantoïd qui séduit son public en faisant danser sa tige (actionnée par un servomoteur pilotée par Arduino et contrôlée grâce à 3 sculptures positionnées à son voisinage). La nuit venue, la quinzaine de personnes présentes s’est retrouvée à la Fabrique de l’Innovation pour tester un prototype de jeu sur le projet « Forest as a DAO ».

L’atelier-débat a eu lieu dans le cadre convivial de l’OXXO avec comme introduction la vidéo du TEDx donnée par Richard Stallman sur le logiciel libre à Genève : https://www.youtube.com/watch?v=Ag1AKIl_2GM

Suivez-nous :
Place à la détente

Place à la détente

Ni étudiants, ni doctorants, ni organisateurs, seulement des joueurs !

Jonglages, jeux de société, sports (tennis, foot …) sont au programme tous les jours de la semaine et du week-end. Et plus encore, une soirée uniquement dédiée à des scénarios d’Escape Game au succès incontesté !

C’est un moment de convivialité et de partage entre jeunes et moins jeunes apprécié de toutes et tous !

Suivez-nous :
À la découverte de la Blockchain

À la découverte de la Blockchain

La première session de cours de l’école d’été Mathinfoly 2019 est animée par Dr. Pascal Lafourcade, maître de conférences à l’Université Clermont-Auvergne. Spécialiste de la vérification automatique de protocoles cryptographiques, il a déployé son cours sur 3 grandes lignes :

  • Logique
  • Cryptographie
  • Blockchain et Bitcoin

Grâce au cours sur la blockchain et le bitcoin, le minage n’a désormais plus de secrets pour personne, avec un exercice de minage par le truchement d’une double fonction de hachage simplifiée. Pascal a répondu à de nombreuses questions sur les enjeux éthiques et technologiques de la blockchain, pour son plus grand bonheur !

Tout au long de l’école d’été, les étudiants ont des projets de modélisation des contraintes de jeux (Sudoku, Tetravex, Rubik’s cube, etc). La modélisation est ensuite implémentée dans un solveur SAT capable de donner une solution aux jeux de manière automatique. Ils présenteront leurs projets à la journée de clôture de l’école d’été.

Les étudiants y mettent tout leur coeur et leur nuit pour présenter un projet aussi abouti que possible ! Un enthousiasme contagieux qui ravit les doctorants, conférenciers et organisateurs !

Suivez-nous :
Soirée inaugurale de Mathinfoly 2019

Soirée inaugurale de Mathinfoly 2019

Samedi 24 août, tous les participants sont arrivés. C’est le lancement de la semaine, avec une soirée festive au Ninkasi de la DOUA. L’occasion de présenter toute l’équipe qui anime, encadre et organise cette école d’été unique en son genre !

Le coeur de la soirée est un quizz enflammé sur des énigmes cryptographiques et des questions sur la culture générale ou populaire ! Pour vous donner un aperçu, une des questions a été : « D’où vient la séquence suivante : LNAHO OLHOLNA LAOTCO LCABC GCD ? :

  • De la clé de cryptage des messages d’Edward Snowden
  • De l’ADN d’un alien
  • D’un album d’un chanteur
  • D’un livre écrit par un auteur appartenant à l’OULIPO »

Quizz + repas = bonne humeur assurée ! Si vous ne nous croyez pas, les sourires des participants à la fin de la soirée en étaient une excellente preuve !

Suivez-nous :
Facebook
Facebook
RSS