Un musicien, Alessandro Bossetti, et une chercheuse, Assia Mahboubi (équipe Gallinette), appuyés par une équipe enseignante, ont exploré avec des élèves préparant en bac professionnel au Lycée Michelet quelques interactions entre mathématiques, logique, langage et musique. Ils vous présentent le fruit de leurs échanges le mardi 28 mai 2019 à la Faculté des Sciences et des Techniques.
Ce projet implique des élèves de première Bac ISEC (installateur thermique) et GT (géomètre topographe) du Lycée professionnel Michelet de Nantes, ainsi qu’une équipe d’enseignantes et documentaliste du lycée. Tout au long de l’année, une scientifique (Assia Mahboubi, chercheuse en informatique au LS2N) et un compositeur (Alessandro Bossetti) ont animé des ateliers croisés avec les élèves atour de quelques interactions entre mathématiques, logique, langage et musique.
Venez découvrir la projection de leur travail et un ensemble de 4 performances le mardi 28 mai 2019, de 14h à 16h30, sur le campus Lombarderie (salles 212 et 213 – bâtiment 26).
En savoir plus : http://www.fpl.math.cnrs.fr/mm-ouest/informations/musique-langues-et-logique
Nicolas Tabareau (équipe Gallinette) a reçu l’ACM distinguished paper award à la conférence ICFP (International Conference on Functional Programming) qui a eu lieu à Saint-Louis (USA) du 23 au 29 septembre 2018.
Ce prix récompense la publication intitulée « Equivalences for Free: Univalent Parametricity for Effective Transport », rédigé avec Mathieu Sozeau, chercheur au sein de l’équipe parisienne PI.R2, et Éric Tanter de l’University of Chile.
Voir l’article.
Simon Boulier, doctorant au sein de l’équipe Gallinette, soutiendra sa thèse intitulée « extending type Theory with Syntactic Models »
jeudi 29 novembre 2018 à 14h00, dans l’amphi Blaise Pascale, à l’IMT Atlantique.
Jury : Nicolas Tabareau (dir thèse), Thierry Coquand (Université de Gothenburg, rapporteur), Hugo Herbelin (laboratoire IRIF PPS, rapporteur), Assia Mahboubi, Ambrus Kaposi Eötvös Lorand University Hongrie), Pierre Cointe
Le magazine « Chercheurs européens » de l’Université Bretagne Loire a rencontré Nicolas Tabareau, chargé de recherche Inria au sein de l’équipe Gallinette, afin de l’interroger sur son heureuse expérience de candidat à l’ERC Starting Grants avec son projet CoqHoTT.
Retrouvez son interview (pdf) en page 11 du N° 5 de juillet 2018.
