Logique et calculabilité en informatique et en musique

Dimancje 13 mars 2005

10h - 18h
IRCAM, salle Olivier Messiaen
1, place I. Stravinsky 75004 Paris
Entrée libre dans la mesure des places disponibles

Programme

10h-10h45 Gilles Dowek (Ecole Polytechnique/LIX)
Le langage mathématique, les langages de programmation, etc. [pdf]

11h-11h45 François Pachet (Sony CSL)
Sur quelques problèmes de contraintes à partir de l'extraction des descripteurs musicaux (titre provisoire)

12h-12h45 Daniel Schell (compositeur)
Optimalité dans les melodies et dans les progressions harmoniques: le Musicien Voyageur (the Travelling Musician)

14h30-15h15 Charlotte Truchet (LINA Laboratoire d'Informatique de Nantes Atlantique)
Contraintes, recherche locale et composition assistée par ordinateur

15h30-16h15 Frank Valencia (Ecole Polytechnique/LIX) et Camilo Rueda (PUJ, Cali)
NTCC, A Process Calculus with Applications to Computer Music (en anglais)

16h30-17h15 Elaine Chew et Alexandre François (USC Los Angeles)
MuSA.RT - Creating Tonal Visualizations that Dance to the Rhythm of the Music (en anglais)