LambdaTalks : programmation fonctionnelle

Rendez-vous le samedi 16 février à partir de 14 h à Epitech Paris pour un talk organisé par le laboratoire de recherche appliquée de l’école, l’ACSEL. Le thème de ce jour est la programmation fonctionnelle.

L’ACSEL est le laboratoire de recherche appliquée de l’école. Les principaux axes abordés sont l’intelligence artificielle et l’algorithmie. Son objectif est d’apporter aux étudiants les outils méthodologiques et techniques leur permettant de concevoir et de développer des solutions innovantes. Il est également lié à plusieurs partenaires professionnels et académiques lui assurant sa position de passerelle entre la recherche et l’industrie. Les étudiants ont également la possibilité grâce au laboratoire de s’orienter vers un Master 2 de recherche à l’université Paris XIII durant la 5e année pour ceux qui souhaitent approfondir leur cursus par un doctorat.

Les interventions de l’après-midi

Jacques-Pascal Deplaix (Epitech promo 2016, Paris)

L’histoire des langages fonctionnels et celle des différentes « mouvances » qui découlent de ce paradigme, du Lisp à Haskell, en passant par les différents dialectes ML.

Gabriel Scherer, Doctorant à l’Inria

Talk introductif aux systèmes de types.

Benoit Masson (DPRA Epitech Rennes)

Concept de vérification de programme à l’aide de l’assistant de preuve formelle Coq.

Romain Calascibetta (Epitech promo 2016, Montpellier)

Démonstration de l’implémentation d’un petit langage Scheme-like (dérivé de Lisp) en OCaml et en C, en 30 min.