Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

General chair, scientific chair

• D. Janin was general chair of the workshop “Modélisation et représentation musicale ”, GDR ESARS, Bordeaux,

Scientific events selection

Chair of conference program committees

• D. Janin, PC Chair of ACM Workshop on Functional Art, Music, Modeling and Design (FARM) , Vancouver (Canada), associated with ICFP,

Member of the conference program committees

• M. Desainte-Catherine, PC member of Journées d’Informatique Musicale (JIM 2015) , Montréal (Canada),

• M. Desainte-Catherine, PC member of Sound and Music Computing (SMC 2015) , Maynooth (Ireland),

• M. Desainte-Catherine, PC member of International Conference on Digital Audio Effects (DAFX 2015) , Trondheim (Norway).

Reviewer

Members of the project are yearly reviewers for a number of international conferences including LICS, ICALP, STACS, MFCS, FST&TCS, in theoretical computer science, and ICMC, SMC, NIME, FARM, TENOR, JIM in computer music.

Journal

Member of the editorial boards

• S. Salvati is editor of the Journal of Logic Language and Information (JoLLI) ; since the end of 2015, he has been promoted as Editor in Chief,

• M. Desainte-Catherine is editor of the Revue francophone d'informatique musicale (RFIM) .

Reviewer - Reviewing activities

Members of the project are regular reviewers for a number of international journal including ACM Computers In Entertainment (CIE) , Iranian Journal of Fuzzy Systems (IJFS) , Journal of New Music Research (JNMR) , Journal of Logic Language and Information (JoLLI) , Revue francophone d'informatique musicale (RFIM) , Discrete Mathematics &Theoretical Computer Science (DMTCS) , International Journal of Foundations of Computer Science (IJFCS) , Information & Computation (I&C) ...

Invited talks

• S. Salvati, LIF seminar, "Formal language theory and lambda-calculus", February 2015

• M . Desainte-Catherine, Albi Seminar Les nouveaux territoires de la création, “Jouer avec le temps”, March 2015,

• S. Salvati, Chocola meeting, "Model construction for higher-order model-checking", April 2015

• S. Salvati was an invited speaker of the conference Finite State Methods in Natural Language Processing, "Context-freeness, automata and denotational semantics", June 2015

• S. Salvati, NII seminar "Model construction for higher-order model checking", July 2015,

• D. Janin, Dagstuhl Seminar Verification of Evolving Graph Structures, “Higher dimensional strings”, November 2015,

• D. Janin, RNSC MuSICAL meeting, "Visualisation et programmation musicale via l'algèbre", December 2015,

• D. Janin, workshop GDR Esthétique Arts et Science (ESARS), "Représentation musicale et algèbre”, Novembre 2015,

• M. Desainte-Catherine, colloque A& S FACTS, “Projet A& S le chant du filament”, with Nicolas Villenave, November 2015,

• M. Desainte-Catherine and J.-M. Celerier, workshop GDR Esthétique Arts et Science (ESARS), “Structuration du temps avec i-score”, Bordeaux, November 2015.

Leadership within the scientific community

• M. Desainte-Catherine is president of the Association Française d’Informatique Musicale (AFIM)

• S. Salvati is the secretary of the Foundation for Logic Language and Information (FoLLI).

Scientific expertise

• Expertise of Art and Science projects of Diagonale Paris-Saclay.

• Expertise of projects for the young researcher award of Science and Music colloque at the University of Rennes.

Research administration

• M. Desainte-Catherine, directrice adjointe du LaBRI,

• M. Desainte-Catherine, directrice scientifique et administrative du SCRIME,

• M. Desainte-Catherine, responsable du thème SI de l'équipe image et son du LaBRI,

• D. Janin, membre commission recherche Bordeaux INP/ENSEIRB-MATMECA.