ÉQUIPE ASSOCIÉE SEMACODE

Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité

SEMACODE est une Équipe Associée de l'INRIA créée en janvier 2011. Elle est organisée autour de deux sites principaux (l'équipe PiR2, dans le laboratoire PPS, et l'équipe de Zena Ariola à l'Université d'Oregon) et deux sites secondaires (l'équipe INRIA Focus, de l'Université de Bologne et le groupe de Silvia Ghilezan à l'Université de Novi Sad).

Organisation du projet

• Coordination de l'Équipe pour l'INRIA: Alexis Saurin, chercheur CNRS
• Coordination de l'Équipe pour les USA: Zena Ariola, professeur à l'Université d'Oregon.