Informatique musicale, logique et calculabilité

8 mars 2003 : Pré-séance sur l'analyse assistée par ordinateur. Sciences cognitives, mathématiques et perception musicale.

Avec la participation de Thomas Noll (Hierarchy and shortest path principle in Lerdahl's chordal/regional space model.), Anja Fleischer (Investigations in Metric Coherence concerning Brahms and Stravinsky), Olivier Lartillot (Perceptive Strategies in Computational Motivic Analysis: Why and How), Geoffroy Peeters (Describing musical structures through the analysis of sound signal), Vittorio Cafagna et Domenico Vicinanza (How to use musical perception in order to understand elliptic functions?), Guerino Mazzola (The Cognitive Relevance of the Mathematical Counterpoint Model in Human Depth EEG), Thomas Noll (Wundtian Apperception and Musical Cognition), Anja Fleischer (Inner metric analysis and its perceptual evaluation), Jean Petitot (On segmentation models), PerAage Brandt (Conceptual Integration and Dynamic Schematization in Tonal Phenomenology), Michael Leyton (Musical Works are Maximal Memory Stores)

12 avril 2003 : Outils déterministes et aléatoires dans l'analyse et la composition musicale (deuxième partie).

Avec la participation de Mikhail Malt (Aléatoire et musique, le cas d'Achorripsis), Stefan Göller and Gérard Milmeister (First Composition Operators in Distributed Rubato), Benoît Meudic (L'extraction automatique de structures musicales par l'analyse des régularités), Guerino Mazzola and Stefan Müller (Perspectives of a Gestural Composition Theory), Chantal Buteau (Modèle topologique de l'analyse motivique :Théorie, application et implémentation dans Rubato)

10 mai 2003 : Informatique musicale.

Avec la participation de Philippe Codognet (De l'art d'inventer à l'invention d'un art : les arts numériques), Yann Orlarey (L'anatomie de Faust), Marco Stroppa (Composition et Informatique : parcours croisés), Karim Haddad (Combinatoire utopique ou utopie de la combinatoire - Polyphonies, gestes rythmiques, réalisations et conceptions informatiques), Mikhail Malt (Outils formels et Composition assistée par Ordinateur : le solfège de modèles)

21-22 mai 2004 : Outils informatiques en analyse musicale. Logique et théories transformationnelles en musique.

Avec la participation de Stephan Schaub (Sur la modélisation informatique de partitions musicales), Elaine Chew (Messiaen's Regard IV: Automatic segmentation using the Spiral Array / Pitch Spelling: A Computational Approach Using the Spiral Array), Chantal Buteau (Motivic Topologies of Messiaen's Regards III. A Computational Motivic Analysis), Olivier Lartillot (Automated motivic analysis of Messiaen's Regard III), Benoît Meudic (Recherche interactive de variations motiviques basées sur des critères de similarité prédéfinis), Petri Toiviainen (Dynamic analysis of tonality with a self-organizing map), Thomas Noll (Experiments within Triadic Logics), David Clampitt (Les gammes bien-formées et quelques propositions de théorie des nombres), Vittorio Cafagna (Myhill property, CV, well-formedness, winding numbers and all that). Journée réalisée avec le soutien du CNRS.

13 mars 2005 : Logique et calculabilité en informatique et en musique.

Avec la participation de Gilles Dowek (Le langage mathématique, les langages de programmation, etc.), Daniel Schell (Optimalité dans les melodies et dans les progressions harmoniques: le Musicien Voyageur / the Travelling Musician), Charlotte Truchet (Contraintes, recherche locale et composition assistée par ordinateur), Frank Valencia & Camilo Rueda (NTCC, A Process Calculus with Applications to Computer Music), Elaine Chew & Alexandre François (Creating Tonal Visualizations that Dance to the Rhythm of the Music)

17 avril 2005 : Autour de la notion de complexité en mathématiques, informatique et musique.

Avec la participation de Fabien Lévy (Complexité grammatologique et complexité aperceptive en musique), Hugues Dufourt (Quelques réflexions - en dialogue avec Fabien Lévy), Jean-Paul Allouche (Complexités : de Kolmogorov-Chaitin à Edgar Morin en passant par des approches élémentaires), Andranik Tangian (Music recognition based on finding least complex representations of data) et Nicolas Darbon (Complexité / chaos : modèles, métaphores et fantasmes musicaux)

12 novembre 2005 : Rencontre avec Jean-Yves Girard.

Cette séance a été l'occasion pour prolonger, de façon informelle, un certain nombre de sujets qui seront abordés à l'Ecole Normale Supérieure le matin par Jean-Yves Girard dans son exposé sur les aspects géométriques du formalisme (Séminaire Musique et Mathématiques). La séance a été animée par Carlos Agon (chercheur en informatique à l'Ircam).

14 janvier 2006 : Philosophie(s) de la musique / Philosophie(s) des mathématiques.

Avec la participation de Moreno Andreatta (Quelle(s) philosophie(s) pour la recherche " mathémusicale " ?), Carmine Emanuele Cella (Logical foundation of music: a philosophical approach), Albino Lanciani (Les possibilités logiques de la phénoménologie. Husserl, Rota et la notion phénoménologique de Fundierung).

25 février 2006 : Autour des logiques temporelles en musique et en informatique musicale.

Avec la participation de Gérard Ligozat (Invitation au raisonnement temporel : logiques temporelles et raisonnement qualitatif), Camilo Rueda (Utilisation des calculs de processus concurrents par contraintes pour la modélisation musicale), Antoine Allombert (Un vieil outil toujours d'actualité : les réseaux de Pétri)

18 novembre 2006 : Logique en mathématique et en informatique.

Avec la participation de Pascal Boldini (Des catégories aux types : un itinéraire en mathématiques appliquées)

9 décembre 2006 : École mathématique pour musiciens et autres non-mathématiciens animée par Yves André (Aperçus sur les algèbres d'opérateurs).

10 février 2007 : Informatique musicale.

Avec la participation de Jean-François Perrot (Réifier - de quel droit ?) et Jean Bresson (Modélisation du son musical - Le son comme objet).

Samedi 6 octobre 2007 : Mathématiques/Musique et composition assistée par ordinateur.

Avec la participation de Arturo Fuentes (Multiplicité Homme-Machine : composer avec l'ordinateur) et Guilherme Carvalho (Représentations des mathématiques dans la musique).

Samedi 5 et dimanche 6 avril 2008 : International Workshop on Computational Music Analysis.

Séance organisée par Chantal Buteau (Department of Mathematics, Brock University, Canada) et Christina Anagnostopoulou (University of Athens, Greece). Avec la participation de Christina Anagnostopoulou et Chantal Buteau (Computational Analysis Workshop Introduction: First movement of Brahms' Op 51 No 1 and an Overview of the Proposed Computational Approaches / Topological Spaces of Motives of Brahms Op. 51 No1), Fernando Gualda (Structural Analysis and Motivic Pattern Matching using Pitch-Class Categories and Dissimilarity Measurements), Olivier Lartillot (Automated motivic analysis of Brahms' String Quartet based on multi-dimensional closed pattern mining), Darrell Conklin (Mining for Distinctive Patterns in the First Movement of Brahms's String Quartet in C Minor), Philippe Cathé (Vecteurs harmoniques et analyse stylistique. Pourcentages et ratios nouveaux obtenus grâce au logiciel "Charles" : l'exemple du premier mouvement du Quatuor à cordes opus 51-1 de Johannes Brahms), Yun Kang Ahn (Towards K-Nets in Quatuor n°1 of Brahms) et Atte Tenkanen (Measuring Tonal Articulations in Compositions).

Vendredi 5 décembre 2008 : Processus concurrents en informatique musicale.

Séance organisée en collaboration avec le LIX, Laboratoire d'Informatique de l'Ecole Polytechnique. Avec la participation de Camilo Rueda (Pontificia Universidad Javeriana, Colombia), Frank Valencia (LIX, Laboratoire d’Informatique de l’Ecole Polytechnique), Carlos Olarte (LIX, Laboratoire d’Informatique de l’Ecole Polytechnique), Mauricio Toro (Pontificia Universidad Javeriana, Colombia / Ircam), Arshia Cont (Ircam).

Samedi 9 mai 2009 : Géométrie de l'interaction et musique.

Avec la participation de Yves Lafont (Faculté des Sciences de Luminy & Institut de Mathématiques de Luminy), Thierry Paul (CNRS, DMA - Ecole Normale Supérieure), Carmine Emanuele Cella (Université de Siena / Ircam) et François Nicolas (ENS/Ircam).

Samedi 10 octobre 2009 : Géométrie de l'information et musique.

Avec la participation d'Arnaud Dessein (Ircam), Hichem Snoussi (Université de Troyes), Frédéric Barbaresco (Thales) et Arshia Cont (Ircam).

Vendredi 13 novembre 2009 : Autour de la géométrisation de la logique et de l'informatique musicale.

Avec la participation d'Olivier Michel (Université Paris Est), Antoine Spicher (Université Paris Est) et Jean-Louis Gavitto (IBISC & UPS 3201, Informatique, Biologie Intégrative et Systèmes Complexes).

Vendredi 4 décembre 2009 : Approche fonctorielle en informatique musicale.

Avec la participation de Gérard Milmeister (University of ETH, Switzerland), Florian Thalman (School of Music, University of Minnesota), Guerino Mazzola (School of Music, University of Minnesota / Université de Zürich) et Thomas Noll (ESMuC, Barcelona / TU-Berlin).

Vendredi 12 mars 2010 : Représentations pour l'informatique musicale. Graphes et S-langages.

Avec la participation de Yannis Manoussakis (Université Paris-Sud, Orsay), Fivos Maniatakos (Ircam / Université de Paris 6), Gilles Baroin (Université de Toulouse II, Le Mirail), Sylviane R. Schwer (Université Paris-Nord UMR 7030) et Antoine Allombert (LABRI/ équipe Représentations Musicales).

Vendredi 14 mai 2010 : Musique algorithmique.

Avec la participation de Gerhard Nierhaus (compositeur), Michael Koenig (compositeur) et Markus Noisternig (IRCAM/CNRS).

Vendredi 11 mars 2011 : Hommage à Marcel Mesnage. Musicologie computationnelle et composition algorithmique.

Avec la participation de André Riotte, Thérèse Malengreau, Bruno Bossis, Luigi Verdi, Jean-Michel Bardez, Claudy Malherbe. Interprètes: Marc Dumazert, Philippe Pennanguer. Journée organisée en collaboration avec la Société Française d'Analyse Musicale.

Vendredi 20 mai 2011 : Graphes, arbres et automates en l'informatique musicale.

Avec la participation de Gérard Assayag (Ircam/CNRS), David Aubert (LaBRI), Alessandra Carbone (UPMC), Cyril Gavoille (LaBRI), Thierry Lecroq, (Université de Rouen, LITIS), Arnaud Lefebvre (Université de Rouen), Benjamin Lévy (doctorant Ircam / UPMC), Fivos Maniatakos (doctorant Ircam / UPMC), Pierre Roy (Sony Lab). Concert d'improvisation assistée par ordinateur avec OMAX à suivre.

4 novembre 2011 : Programmation par contraintes en musique.

Séance organisée à l'occasion de la sortie du livre Constraint Programming in Music (dir. Charlotte Truchet & Gérard Assayag). Avec la participation de Gérard Assayag (IRCAM - STMS), Mika Kuuskankare (Sibelius Academy, Finland), Serge Lemouton (IRCAM), Camilo Rueda (Universidad Javeriana - Cali, Colombia) et Sascha Van Cauwelaert (Université Catholique de Louvain).

3 février 2012 : Langages synchrones.

En collaboration avec l'Equipe Parkas, Département d'informatique de l'Ecole Normale Supérieure de Paris. Avec la participation de Louis Mandel (Ecole Normale Supérieure / LRI / Université Paris Sud 11), Yann Orlarey (Grame, Lyon), Marc Pouzet (Ecole Normale Supérieure / UPMC Paris 6), Karim Barkati (IRCAM) et José Echeveste (IRCAM, équipe-projet "MuSync" IRCAM/INRIA).

30 mars 2012 : Arbres et structures hiérarchiques en informatique musicale.

Séance organisée en partenariat avec l'INRIA, avec la participation de David Rizo (DLSI, Universidad de Alicante), David Janin (LaBRI), et Florent Jacquemard (IRCAM-INRIA).