Section: Dissemination

Teaching

We do not mention the teaching activities of the various teaching assistants and lecturers of the project who work in various universities of the region.

Horatiu Cirstea:

• Master course in Nancy on programming and proving with rule based languages, with Pierre-Etienne Moreau.

• Supervision of Cyrille Cornu (internship École des Mines de Nancy).

• Supervision of Aymeric Carraro and Kévin Panier (internships Université Henri Poincaré)

• Supervision of Luc Sarzyniec and Cedric Lejault (internships ESIAL).

Yves Guiraud:

• Supervision of Sébastien Martinelle and David Serra (internship ESIAL Nancy).

Pierre-Etienne Moreau:

• Master course in Nancy on programming and proving with rule based languages, with Horatiu Cirstea,

• Supervision of Nicolas Henry's internship (Université Henri Poincaré)

• Supervision of Cynthia Florentin's internship (Université Henri Poincaré)