MUSICAL: MUsic and Spatial Interaction with Constraints, Algebra and Logic: foundations AND APPLICATIONS.

MUSICAL is a CNPq Science Without Borders project that  brings together researchers from Universidade Federal do Rio Grande do Norte, Pontificia Universidad Javeriana Cali, LABRI -  Université de Bordeaux, Institut de Recherche et Coordination Acoustique/Musique - IRCAM and LIX, Ecole Polytechnique http://www.ufrn.brhttp://www.ufrn.br


This multi-disciplinary project aims to  develop and integrate tools from logic and concurrency theory for the design and analysis of reactive systems and to their application to musical processes and multimedia systems. The target framework is a variant of tcc, a temporal extension of concurrent constraint programming (CCP) which unifies in a single declarative style the logical and the behavioral specification of temporal processes. In order to take into account the location and mobility of these processes we propose to extend tcc to integrate the specification of spatial relationships between themselves, using for this linear logic with subexponentials. This type of formalism is relevant for the specification and the analysis of emerging applications with advanced interaction with their environment and their users such as those in ubiquitous computing, mobile systems, and  multimedia interacting systems. Indeed, these applications require all the description of dynamic and temporized interactions between autonomous localized entities.

Besides developing the necessary theory for handling space-time agents, we propose to apply these theoretical tools to three types of problems originated in music applications:

  1. (a)real-time interaction during performance,

  2. (b)specification of high level sound spatialization processes and

  3. (c)dynamic spatial representation of symbolic musical objects.

The above applications require the expression of complex coupled spatial and temporal constraints in a real-time environment

We also intend to add to linear logic the notion of probability which is central in the modeling of musical systems that react according to the laws of probability rather than non-deterministically (for instance in music improvisation systems).