Réunion FEEVER 20/1/2015 Présents : ARMINES, INRIA, U. St

Réunion FEEVER
20/1/2015
Présents : ARMINES, INRIA, U. St-Etienne, GRAME
1. INRIA
- Passage Imré en décembre à IRISA
- Article horloges liquides
Sémantique
Preuve
- Extensions :
Adaptation à Faust ?
Prototype en Liquid Haskell ?
Génération de code Faust ?
- Apports possibles
Vérification (inférence)
Certification de code embarqué (Frama-C)
Prototype (stagiaire ? LH)
2. ARMINES
- Conférence POPL
- Faust CoqPL :
nouvelle sémantique
spécification fixed point
propriétés logiques (propriétés temporelles, time vs. amplitude)
Coq
relation entre continu/discret
- Web Audio et langages de programmation
relation avec Sarah
limitation de Web Audio API (performance, précision)
WebGL comme modèle
- Compilation multirate
related work
clock / phase
correctness proof
3. GRAME
- Talent Days Imaginove (Lyon)
feedback par contacts
visite d’un labo d’images à Chalons/Saone (CAVE)
applications audio multiples (Serious Games, simulateur
démonstrateur audio sur robots (Brune, ROS) -> publicité
- Composition de services (Sarah)
Web Audio Playground (~ Max) -> Google (keynote WAC)
audio temps-réel via le Web
applications Web, Android
performances différentes :
WA natif
noeuds js
Faust (1 noeud) -> meilleure performance
- Publications :
Article WAC (composition) -> poster
Article LAC (compilation embarquée)
- Concours de programmation Faust :
activité valorisable FEEVER
relance pour plus de soumissions
- Développement polyphonique js :
une voix de polyphonie en Faust
gestion des voix extérieures (pas en Faust, car calcul permanent)
nécessité de propriété = 0 (ou borné)
Faust 2.0 :
asm.js back-end + enrobage polyphonique en js
compilateur Faust en asm.js
4. CIEREC
- Thomas :
polyphonie dans le synthétiseur clavecin (-> 16 voiix)
applications au clavecin (remplacement de l’interface html) :
Polymer API, autour de Web Components (google, core/paper, Web
Audio Control)
angular js (mode MVC)
shadowdom
Web MIDI API
présentation IRCAM (borne)
- Site internet sur Master RIM (entreprise Hémisphère) :
http://musinf.univ-st-etienne.fr/rim.html
projets étudiants Faust
Faust Playground
interface _,_ -> _,_
rercherche de stagiaire (Web, avril->juillet)
- UPMC :
formation aux métieurs du son
- Projet d’équipement U.Université :
deadline 30/1
Prochaine réunion : 9/2