Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Myriam Desainte-Catherine, Programmation fonctionnelle, 44 h, L3, Software Engineering department, Bordeaux INP, France,

• Licence: Myriam Desainte-Catherine, Projet d'algorithmique et de programmation, 25 h, L3, Software Engineering department, Bordeaux INP, France,

• Licence: Anne Dicky, Algorithmique des graphes, 30 h, L3, Computer Science Departement, Paris VI University, Vietnam,

• Licence: Anne Dicky, Probabilités et combinatoire, 75 h, L3, Computer Science Departement, Bordeaux University, France,

• Licence: Anne Dicky, Algorithmique et structures de données, 50h, L2, Computer Science Departement, Bordeaux University, France,

• Licence: Anne Dicky, Fondamentaux pour les mathématiques et l'informatique, 35 h, L1, Computer Science Departement, Bordeaux University, France,

• Master: Sylvain Salvati, Logique, 12h, M1, Computer Science Departement, Bordeaux University, France,

• Licence: David Janin, Projet d'algorithmique et de programmation, 25 h, L3, Software Engineering department, Bordeaux INP, France,

• Licence: Sylvain Salvati, Analyse syntaxique et projet de programmation 3, 37,5 h, niveau L3, Computer Science Departement, Bordeaux University, France,

• Master: Myriam Desainte-Catherine, Compilation, 14 h, M1, Software Engineering department, Bordeaux INP, France,

• Master: Myriam Desainte-Catherine, Projet de Génie Logiciel, 25 h, M1, Software Engineering department, Bordeaux INP, France,

• Master: Myriam Desainte-Catherine, Informatique musicale contrôle et composition, 25 h, M2, Software Engineering department, Bordeaux INP, France,

• Master: Anne Dicky, Recherche operationelle, 70 h, M1, Computer Science Departement, Bordeaux University, France,

• Master: David Janin, Projet de Génie Logiciel, 25 h, M1, Software Engineering department, Bordeaux INP, France,

• Master: David Janin, Compilation, 20 h, M1, Network and System Engineering department (RSI), Bordeaux INP, France,

• Master: David Janin, Tutorat, 15 h, M1, M2, Network and System Engineering department (RSI), Bordeaux INP, France,

• Doctorat: Sylvain Salvati, Initiation à CoQ, 12 h, Ecole Doctorale Mathématique et Informatique, Bordeaux University, France.

Supervision

• HdR : Sylvain Salvati, “Lambda-calculus and formal language theory”, Université de Bordeaux, defended in december 2015,

• PhD : Jaime Arias, “Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices”, Université de Bordeaux, defended in november 2015, supervised by M. Desainte-Catherine,

• PhD : Jérôme Kirman, “Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues”, Université de Bordeaux, defended in december 2015, supervised by Bruno Courcelle, Lionel Clément, Sylvain Salvati,

• PhD in progress : Pauline Mouawad, “Analyse et modélisation de l'émotion musicale”', started in september 2012, supervised by M. Desainte-Catherine,

• PhD in progress : Etienne Dubourg, “Contribution à la théorie des langages de tuiles”, started in november 2012, supervised by D. Janin,

• PhD in progress : Jean-Michaël Célérier, “Outils d'écriture spatiale pour les partitions interactives”, started in january 2015, supervised by M. Desainte-Catherine,

• PhD in progress : Simon Archipoff, “Modélisation et programmation tuilée réactive”, started in september 2015, supervised by D. Janin,

Juries

• M. Desainte-Catherine was a member and a reviewer of the PhD jury of Olivier Perrotin, “Chanter avec les mains : Interfaces chironomiques pour les instruments de musique numériques”, Université Paris-Saclay(LIMSI), Septembre 2015,

• M. Desainte-Catherine was a member and a reviewer of the PhD jury of Ko Yi Chun, “L'espace sensible :expérience inter-sensorielle et corporelle, à partir des dispositifs musicaux interactifs”, Université Vincennes Saint-Dennis, Novembre 2015,

• D. Janin was a member and the president of the PhD jury of Jaime Arias: “Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices”, Université de Bordeaux (LaBRI), November 2015,

• S. Salvati was a member of the PhD jury of Yann Salmon: “Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur”, Université de Rennes 1, December 2015.