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…

Lire la suite Lire la suite

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…

Lire la suite Lire la suite

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…

Lire la suite Lire la suite

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…

Lire la suite Lire la suite

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 !

À 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 à…

Lire la suite Lire la suite

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…

Lire la suite Lire la suite

Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu is a researcher at Inria Paris where he develops rigorous formal techniques for solving security problems. He is particularly interested in formal methods for security (secure compilation, memory safety, compartmentalization, dynamic monitoring, integrity, security protocols, information flow), programming languages (type systems, verification, proof assistants, property-based testing, semantics, formal metatheory, certified tools), and the design and verification of security-critical systems (reference monitors, secure compilation chains, secure hardware). He is actively involved in the design of the F* verification system…

Lire la suite Lire la suite

Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade a obtenu sa thèse à l’ENS Cachan en 2006 sur la vérification automatique de protocoles cryptographique. Puis il a fait un post-doctorat à ETH Zurich dans l’équipe de David Basin. Ensuite il a été pendant 7 ans maître de conférences à l’Université Grenoble Alpes au sein du laboratoire Verimag. Il a développé des techniques de vérification pour des primitives cryptographiques et à analyser la sécurité de nombreux protocoles (e-voting, e-auction, e-examens …). Il aussi rédigé un livre sur…

Lire la suite Lire la suite

Mathinfoly revient en 2019

Mathinfoly revient en 2019

Après l’édition de 2016, Mathinfoly revient avec une école d’été à l’interface de l’informatique et des mathématiques, pour étudiants en licence et master. Une semaine intensive (cours, TD, TP, projet) pour comprendre la révolution des blockchains et les mécanismes de vérification associés. Animé par deux chercheurs de haut niveau, le stage sera encadré par une équipe de jeunes chercheurs enthousiastes. Public visé : étudiants, élèves des écoles ou cursus préparatoires, en fin de L2, L3 ou M1. Prérequis : goût pour les…

Lire la suite Lire la suite

Facebook
Facebook
RSS