Lionel Martin nous a quitté cette nuit après de longs mois de lutte et d'éclaircies. Lionel était plus qu'un collègue, c'était un des points de repère de notre communauté et un ami pour nous tous. Il était toujours disponible et prêt à s'investir, efficace et altruiste. Nous gardons un souvenir ému de lui. C'est aussi à Isabelle que nous pensons aujourd'hui. Qu'elle soit assurée de tout notre soutien et notre amitié. Nos cœurs sont en berne et nous nous associons à la douleur d'Isabelle, de la famille et de proches de Lionel à qui nous adressons toutes nos condoléances au titre du LIFO et de ses collègues. Jérôme et Sébastien

Vérification formelle de l’évaluation et de la validation de filtres de paquets réseau BPF, encadré par Pascal Berthomé et Frédéric Loulergue

Date limite de candidature : 2 mai 2016

Complexités et calcul Dessin & Mathématiques

Not A Frac 2016

Automata Networks: dynamics and complexity

STACS 2016 : International Symposium on Theoretical Aspects of Computer Science

Symbolic Data Analysis