Sites Inria

Version française

POSET Research team

Modèles pour la Programmation Structurée de l'Espace et du Temps

  • Leader : David Janin
  • Research center(s) : CRI Bordeaux - Sud-Ouest
  • Field : Algorithmics, Programming, Software and Architecture
  • Theme : Embedded and Real-time Systems

Team presentation

How to capture, analyse, mix, combine or transform temporal media streams as varied as sounds, animations, melodies, videos, control gestures ? The possibilities offered by modern technologies for producing complex polymodal artistic computerized systems are real. However, without the support of specially trained technicians, these technologies remain out of the reach of most artists.

Since modern system designers are more often artists and less often software developpers, we aim at developing system design tools that are more accessible to artists themselves. For such a purpose, we seek at offering simpler and more uniform formalisms and tools for the representation and the manipulation of temporal media streams.

In this project, we combine the development of models for the hierarchical and modular design of interactive timed systems together with the realization of artistic interactive applications based on these models. The resulting multidisciplinary research methodology, based upon concrete experiments guided by formal models and formal proposals challenged by experimental needs, guarantees both the adequacy and the robustness of our proposal. 

This leads us to the development of simpler, safer and more powerful software methodologies and design tools for the creation of tomorrow’s hierarchical, multi-scale and multi-modal pieces of interactive art.

Research themes

The PoSET project is structured along three complementary research axis:

  • A. Systems. For a better undertanding and formalization of non standard design metaphors used by artistic system designers; experimenting and refining our proposals through concrete collaborations with artists.

  • B. Models. Identifying and developping mathematical framework, such as inverse semigroup theory, where generic temporal media can be defined, combined, transformed,  in a simple and sound way; check the applicability of these models via concrete modeling experiements.

  • C. Languages. To design a domain specific language (DSL) in order to play, that is, to see, to listen, to execute, our models of reactive temporal media; typed polymorphic functional programing languages ideally bridge the gap between formal model definitions and their computerized executions.

 

International and industrial relations

PoSET is partner of Studio de Recherche et de Création en Informatique Musique Electroaccoustique (SCRIME) in Bordeaux. We also have regular collaborations with other center of research and creation in computer music such as IRCAM (Paris), GMEA (Albi) or GRAME (Lyon).

International colaborations in Computer Music (Cali, Colombie, San Diego, USA), in Semigroup Theory (York and Edinbourgh, UK) or Functional Programing (Yale, USA) allow us to develop expertise in the various fields of our multi-disciplinary project.

Keywords: Computational music Algebraic modeling Functionnal programming Hybrid systems Interaction Multi-scale modeling