Laboratoire d’informatique Sorbonne Université - CNRS UMR 7606

Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

Annuaire

JEANMAIRE Paul

Post-doctorant
Équipe : APR
https://www.pjmr.fr

Date de départ : 31/03/2026

Publications 2026

2026
- T. Bourke, P. Jeanmaire, M. Pouzet : “Une sémantique de Kahn mécanisée pour les machines à états”, JFLA 2026 – 37^es Journées Francophones des Langages Applicatifs, vol. JFLA 2026 – 37^es Journées Francophones des Langages Applicatifs, Oberbronn, France (2026)