Mercredi 4 janvier 2012 - 14h30

• Sécurité
• SCALP - security of cryptographic algorithms with probabilities
• PACE - pairings and advances in cryptology for e-cash
• PAMPA - password authentication and methods for privacy and anonymity
• MEDIEVALS - marquage et embrouillage pour la diffusion et les echanges vidéos et audios légalisés et sécurisés
• Modèles numériques : Sciences de l'ingénieur
• APAM - acoustique et paroi multi-perforée
• DyCoAct - dynamiques collectives de particulesactives
• MACSIM - simulation du contrôle non destructif par émission acoustique pour une conception optimale de sa mise en œuvre industrielle
• MOCOSYMEC - modélisation et conception des systèmes mécatroniques
• Architectures
• ADAM - adaptive dynamic architecture for mp2soc
• FOSFOR - flexible os for reconfigurable platform
• HODISS - horlogerie distribuée pour les socs localement synchrones globalement synchronisés
• SFPGA - architectures fpga hiérarchiques sécurisées pour les systèmes sur puce
• Infrastructures HPC
• CIP - calcul intensif pair à pair
• PROHMPT - programmation des technologies multicoeurs hétérogènes
• SELF-XL - administration autonome pour systèmes complexes de grande taille
• USS SIMGRID - simulation extrêmement extensible avec simgrid
• Robotique
• ASSIST - etude et développement d’un manipulateur mobile à deux bras pourl’assistance aux personnes handicapées
• NANOROL - nanoanalyser pour micromanipuler
• RBlink - robotic blink : exploring high speed decision making for motion generation with a humanoid robot
• TREMOR - active tremor compensation for the upper limbs via functional electricalstimulation
• Traitement des données
• GEONTO - constitution, alignement, comparaison et exploitation d'ontologies géographiques hétérogènes
• GRAPHEM - aide à l’expertise paléographique et à l’accès au contenu dans les ecritures médiévales
• MAPE - measurement and analysis of peer-to-peer exchanges for paedocriminality fighting and traffic profiling
• MIDAS - résumés génériques de flux de données

Mercredi 4 janvier 2012 - 17h

• Sécurité
• AVOTE - ananlyse formelle de protocoles de vote électronique
• DALI - conception et évaluation de systèmes de détection d'intrusion au niveau applicatif
• FLUOR - convergence du contrôle de flux et d'usage dans les organisations
• FME3 - enhancing the evaluation of error consequences using formal methods
• Modèles numériques : Matériaux
• FVNANO - flowvrnano : un laboratoire virtuel pour modéliser les systèmes moléculaires nanoscopiques en biologie et dans les matériaux
• MANIPHYC - une approche concertéemathsnumérique-physique pour développer unecompréhension multi-échelles des écoulements dematériaux désordonnés.
• NOSSI - nouveaux outils pour la simulation des solides et interfaces
• SAMSON - système adaptatif pour la modélisation et la simulation d’objets nanoscopiques
• Architectures
• CIPHAER - communications flexibles automobiles et reconfigurables
• FREIA - framework for embedded image applications
• Nanograin - architectures reconfigurables à grain ultra-fin et à base de nanocomposants
• WASABI - wireless system and systemc-ams basic infrastructure
• Génie Logiciel
• LISE - liability issues in software engineering
• Movida - support à la modélisation de vues et aide à ma décision pour les architectes
• RT-SIMEX - retro-ingénerie de traces d'analyse de simulation et d'exécution de systèmes temps-réel
• WINGS - interopérabilité étendue pour des chaînes d'approvisionnement en réseau
• Robotique et Robotique Véhicule
• PERCOIVE - perception coopérative inter-véhicules pour la sécurité routière
• RAAMO - robot anguille autonome pour milieux opaques
• RINAVEC - reconnaissance d’itinéraires et navigation en convoi de vehiculescommunicants
• VIRAGO - new perspectives in robotics opened by high-speed vision and rolling shutter
• Traitement des données
• AOC - appariement d’objets complexes
• ROSES - really open simple efficient syndication
• SESAME - consistent estimation and large random matrices

Jeudi 5 janvier 2012 - 9h

• Algorithmes
• AutoCHEM - autonomic computing based using the "chemical" programming paradigm
• GAIA - géométrie algorithmique informationnelle et applications
• UNLOC - algorithmes incomplets pour la réfutation
• Modèles numériques : Santé
• CALAMAR - modélisation et analysecompositionnelles de grands réseaux derégulation, application au contrôle de laprolifération cellulaire chez l'homme
• DMASC - propriétés d’invariance d’echelles designaux cardiaques, systèmes dynamiques etanalyse multi fractale
• OCFIA - optimised computational functional imaging for arteries
• Composants de communication
• ADMOS-VO2 - advanced microwave and optical switching devices based on reversible metal-insulator transition (mit) in vo2 thin films
• GOTHAC - guide d'onde térahertz et applications aux composants
• MAXWELL - novel, ultra-wideband, bistatic, multipolarization, wide offset, microwave data acquisition, microwave imaging, and inversion for permittivity
• Réseaux de capteurs et métrologie
• DIAFORUS - applications et fonctions distribuées sur des réseaux de capteurs abandonnés à redondance
• MERODAS - mesure automatique de das sans robot
• SensLAB - very large scale open wireless sensor network testbed
• Systèmes d'information
• Demotis - définir, evaluer et modéliser les technologies de l'information de santé
• Itemis - systèmes d'information et embarqués intégrés
• SELKIS - une méthode de développement de systèmes d'information médicaux sécurisés: de l'analyse des besoins à l'implémentation.
• Image et 3D
• CAIMAN - codage avancé d'images et nouveaux services
• DISCO - distributed indexing and search by content
• SATTIC - strings and trees for thumbnail images classification

Jeudi 5 janvier 2012 - 11h

• Algorithmes
• ENUM - algorithms and complexity for answer enumeration
• GALAPAGOS - géometrie, algorithmes, preuves
• OPTICOMB - connaissances fondamentales en optimisation combinatoire, outils algorithmiques dans plusieurs domaines d'applications (télécommunications, image)
• Modèles numériques : Santé
• BIMBO - construction d'un modèle d'impact desanté publique des médicamentsantihypertenseurs : du gène à la population
• MetaColi - intégration de données etmodélisation de la diversité métabolique desouches commensales et virulentes d'escherichiacoli
• Viroscopy - modélisation stochastique etinférence statistique pour la propagation desmaladies infectieuses transmissibles: dumicroscopique au macroscopique
• Composants de communication
• ANATEME - analyse de transitors mos à l'echelle atomique
• ROBUST - optimisation fiabilisée des transistors bipolaires inp submicroniques en vue de la conception robuste des transmissions optiques 112 gb/s
• TACHUS2 - transistors à électrons chauds ultra-rapide à base d'inas
• Internet du futur
• CMON - métrologie collaborative
• ECOFRAME - eléments de convergence pour les futurs réseaux d’accès et metropolitains haut débit
• PERSYSTII - plate-forme d’evaluation et de recherche sur les systèmes de transmission à très haut débit
• IHM
• CECIL - émotions complexes dans la communication, l'interaction et le langage
• EVEILS - espaces virtuels pour l'education et l'illustration scientifique
• SignCom - sign-based communication between real and virtual agents
• Image et 3D
• ATROCO - acquisition, treatment and rendering of complex objects
• EFIDIR - extraction et fusion d'informations pour la mesure de déplacement par imagerie radar
• VAHINE - visualisation et analyse d’images hyperspectrales multi-dimensionnelles en astrophysique

Jeudi 5 janvier 2012 - 16h

• Algorithmes
• COCQ - codes correcteurs quantiques
• CODEX - performance, évolution, et composition pour xml : modèles,algorithmes et systèmes
• IDEA - approches dynamiques des codes identifiants
• PHYL-ARIANE - phylogénomique : algorithmes et représentationsintégrés pour l’analyse de l’évolution du vivant
• Modèles numériques : Santé
• BioSpace - a uniform approach for stochastic modeling with spatial aspects in systems biology
• Biowic - workflow pour les traitements intensifs en bioinformatique
• DALTPAC - dynamique et apprentissage depatrons d’activité dans le cervelet
• Modelactin - auto-organisation ducytosquelette d’actine et production de force parprocessus de sélection à l’échelle moléculaire : modèles, simulations et expériences
• Mobilité
• CONTINUUM - continuité de service en informatique ubiquitaire et mobile
• CROWD - nouveau media participatif pour les utilisateurs mobiles
• ELAN - réseaux locaux étendus et intranets d'entreprises
• UBIS - user centric' : ubiquité et intégration de services
• Internet du futur
• ALADDIN - algorithm design and analysis for implicitly and incompletely defined interaction networks
• HORIZON - un nouvel horizon pour internet
• PERSO - pervasive service composition
• VAMPIRE - analyse, monitorage et prévention de vulnérabilités dans l'internet du futur
• Robotique
• ABILIS - bio inspirées pour la manipulation intelligente et la saisie
• GV-LEx - geste et voix pour une lecture expressive
• PROSIT - plateforme robotique pour un système interactif en télé-échographie
• USComp - compensation temps réel du mouvement physiologique sous imagerie ultrasonore
• Image et 3D
• Animaré - expressive rendering models for 2d/3d animations
• CALDER - contenus, architectures et algorithmes pour l’extraction et le rendu 3d
• FAR3D - face analysis and recognition using 3d
• MADRAS - 3d models and dynamic models representation and segmentation

Vendredi 6 janvier 2012 - 9h

• Vérification et validation
• DECERT - déduction certifiée
• DOTS - systèmes distribués, ouverts et temporisés
• FOST - formal proofs of scientific computation programs
• Modèles numériques : Climat Terre et Univers
• MANUREVA - modélisation mathématique et étudeexpérimentale des instabilités non linéaires, des vagues scélérates et des phénomènes extrêmes
• MSDAG - assimilation de données multi échellesen géophysique
• VODA - assimilation variationnelle de données pour des applications océaniques multi-échelles
• Composants de communication
• BIPS - bipolar standards
• MODPOL - modulateurs à base de polymères électro-optiques
• UDEC - universal channel decoder
• Traitement automatique des langues
• CARTEC - captation, analyse et représentation temporelle des evolutions d’un corpus
• SEQUOIA - analyse syntaxique probabiliste à large couverture du français
• TANGUY - des textes aux arguments par navigation graphique de l'utilisateur en interaction
• Musique et Son
• ASTREE - analyse et synthèse de traitements temps réel
• Interlude - nouveaux paradigmes numériques pour l'exploration et l'interaction gestuelle avec des contenus musicaux
• NEUMA - recherche et indexation de sources musicales partagées
• Multimédia
• C2M - chaînes éditoriales collaboratives multimédia
• MIIPA-Doc - méthodes et services intégrés institutionnels et participatifs pour la classification à facettes des contenus documentaires complexes
• RMM2 - relaxmultimedias 2

Vendredi 6 janvier 2012 - 11h

• Vérification et validation
• CAVERN - constraints and abstractions for program verification
• Inscan - diagnostic de câbles électriques sécuritaires pour grandes infrastructures
• SIVES - a simulation and verification based platform for developping embedded system
• Modèles numériques : Ecologie
• 3WRL - une plateforme de simulation multi-échelles pour l'écologie et les sciences de l'environnement
• MICAS - modelling and intensive computation for aquifer simulations
• SHPCO2 - simulation haute performance du stockage géologique de c02
• Composants de communication
• ATTITUDE 4G+ - architecture & technologie innovantes pour modules amplificateurs multi-standards/multi-bandes pour systèmes de telécommunications 3g et 4g
• SELECTACCES - filtre optique accordable pour la sélectivité dans l'accès
• VHVD-SiC - very high voltage devices in silicon carbide: target 15kv
• Traitement automatique des langues
• ARTIS - inversion articulatoire de la parole audiovisuelle pour la parole augmentée
• MeTRICC - memoire de traduction, recherche d'information et corpus comparables
• PORT-MEDIA - robustesse et port