Liste des thématiques retenues:
-
Modélisation
des Systèmes Complexes
-
Signal, image
et multimédia
-
Calcul
Scientifique et Parallélisme
-
Intelligence
artificielle et apprentissage
-
Systèmes
d'Information
-
Systèmes
distribués, systèmes embarqués, réseaux, mobilité
-
Méthodes formelles pour le génie logiciel:
1.
Modélisation des systèmes complexes
Coordination : Christophe Lett
La compréhension des phénomènes naturels, sociaux,
épidémiologiques… du monde d’aujourd’hui devient de
plus en plus indispensable à nos décideurs
politiques et économiques. Ainsi les sciences de la
complexité connaissent un développement croissant
motivé en particulier par les enjeux globaux
(écologie, santé publique, stabilité sociale…) qui
concernent, conséquence de la mondialisation, autant
les pays industrialisés que les pays en
développement. Les sciences de la complexité
requièrent la maîtrise d’outils mathématiques et
informatiques sophistiqués ainsi qu’une
compréhension en profondeur des thématiques
spécifiques auxquelles elles s’appliquent. Aussi
chaque sujet spécifique de l’analyse des systèmes
complexes se caractérise par un type de modèles et
une application thématique.
Ainsi, les axes de cette thématique portent
principalement sur :
1. Le développement de nouvelles méthodes de
modélisation mathématique des systèmes complexes
naturels et sociaux.
- Systèmes dynamiques
- Agrégation de variables
- Dynamique spatiale
- Analyse de séries en temps
- Modèles de percolation multi-échelles
- Représentation mathématique des milieux poreux
2. Le développement de nouvelles méthodes de
modélisation informatique des systèmes complexes
naturels et sociaux
- Modèles Individus-centrés
- Modélisation et simulation multi-agent
- Couplage SIG et modèles multi-agents
- Simulation et modélisation participatives
3. Le développement d’applications thématiques dans
les pays du Sud
- Gestion des milieux et des populations
- Gestion des ressources renouvelables
- Dynamique urbaine
- Epidémiologie
- Gestion des catastrophes naturelles
Comité
de lecture :
Pierre
Auger (IRD),
Alassanne
Bah (Université Cheickh Anta Diop de Dakar),
Paul
Bourgines (Ecole Polytechnique, Paris)
Fabien
Campillo (Inria
Rennes),
Philippe
de Reffye (Inria,
Le Chesnay, France),
Alexis
Drogoul (IRD),
François
Guerrin (Cirad,
Saint Denis, La Réunion),
Hassan
Hbid (Université de Marrakech),
Claude
Lobry (Cimpa,
Nice),
Edith
Perrier
(IRD),
Michel
Morvan
(ENS Lyon),
Gauthier
Sallet (Loria et
Université de Metz),
Maurice
Tchuenté (Université de Yaoundé 1),
H.
Touré (Université de Ouagadougou).
2.
Signal, image et multimédia
Coordinateur : Régine Andre-Obrecht
Le traitement numérique de l’information, véhiculé
par les signaux, touche aujourd’hui des domaines
très divers : médecine, géophysique, astrophysique,
audiovisuel, production industrielle… Cet aspect
pluridisciplinaire se traduit par un développement
de plus en plus rapide tant au niveau théorique
qu’au niveau technologique et applicatif, ce qui
explique le large spectre des contributions
attendues où les avancées théoriques côtoieront une
grande variété d’applications. L’explosion du volume
des données audio, vidéo et audiovisuelles, et
l’omniprésence de l’image dans de nombreuses
applications amplifient les besoins en recherche
dans ce domaine plus spécifique du signal 2D, 3D et
dans la prise en compte de sa dimension temporelle ;
des thématiques deviennent incontournables comme le
dé bruitage, la restauration et la fusion
d’informations. Signalons que la mondialisation rend
l’étude de la communication multilingue
incontournable, que ce soit à l’écrit comme à
l’oral. Des études sur l’écriture manuscrite et sur
les langues seront les bienvenues
La présente liste de thèmes, non exhaustive, est
donnée ci-dessous à titre indicatif :
1 Traitement du signal
Traitement statistique (segmentation, détection,
classification)
Problèmes inverses
Codage/décodage
Echantillonnage, Interpolation, Restauration
2 Image et signaux multi dimensionnels, Vidéo,
Multimédia
Traitement multi sources, multicapteurs
Vision par ordinateur, reconstruction 3D
Segmentation, suivi, interprétation et
classification
Fusion de données et Fusion d’informations
3 Caractères, Parole et Langue
Reconnaissance de parole, de locuteur et
de langue
Reconnaissance de caractères
Synthèse de parole
4 Applications
Communications
Applications médicales
Indexation et recherche d’informations en
audiovisuel
Comité de lecture :
Régine
André-Obrecht
(Irit,
Toulouse) ,
Lala
Andriamampianina (Ecole Supérieure Polytechnique,
Antananarivo),
Marc Kokou
Assogba (Ecole Polytechnique, Université
d’Abomey-Calavi, Bénin),
Philippe
Destuynder (CNAM, France),
Marc Jaeger (Cirad /Liama,
Pékin),
Tayeb Laskri (Université d’Annaba, Algérie),
Grégoire
Malandain (Inria,
Sophia-Antipolis, France),
Olivier
Monga (IRD),
Raft
Razafindrakoto (CNRIT, Antananarivo),
Abderrahmane
Sbihi (Université Ibn Tofail, Kénitra,
Maroc),
Hela
Sellami
(Tunisie),
Josiane
Zerubia (Inria, Sophia-Antipolis),
Remi Gribonval (Irisa Rennes) remi.gribonval@irisa.fr
Yannick Deville (lab d'Astrophysique Toulouse)
yannick.deville@ast.obs-mip.fr
Teddy Furon (teddy.furon@irisa.fr)
3.
Calcul scientifique et parallélisme
Coordinateur : Bernard Philippe
Le thème contient tous les développements d’outils
nécessaires aux modélisations numériques qui
requièrent d’importantes ressources de calcul. Il
inclut également les applications elles-mêmes. Il se
différencie du thème de la modélisation des systèmes
complexes par l’accent qui est mis sur la résolution
des équations issues du modèle choisi plus que sur
le modèle à choisir.
Le thème comporte donc principalement
l’algorithmique numérique et sa mise en œuvre, en
particulier sur des réseaux de calculateurs. Il peut
aussi inclure des travaux sur la modélisation des
phénomènes ainsi que sur les méthodes stochastiques
de résolution, lorsque le calcul en résultant est de
volume important. Des articles en traitement
d’images ou traitement du signal peuvent aussi y
être proposés lorsque l’accent est porté sur
l’analyse numérique du problème.
1.
Algorithmique numérique
-
Discrétisation des équations (différences finies,
éléments finis, volumes finis),
-
Modèles stochastiques, probabilités numériques,
méthode de Monte Carlo
-
Méthodes de résolution de grands systèmes (méthodes
directes, itératives pour systèmes linéaires ;
méthodes de Newton ; calcul de valeurs propres),
-
Intégrateurs d’équations différentielles (ordinaires
ou algébriques).
2.
Parallélisme et grilles de calcul
-
Algorithmes numériques parallèles et leur mise en
œuvre sur réseaux de machines parallèles,
-
Outils pour le parallélisme (parallélisassions
automatique, mesure de performances, bibliothèques
parallèles),
-
Outils pour la mise en œuvre sur grilles de calcul.
3.
Applications
-
Hydrologie (de surface, souterraine)
- Ecologie
et Agronomie
-
Météorologie, climatologie,
-
Finances,
-
Réseaux de télécommunications,
-
…
Comité de
lecture :
Rajae
Aboulaich (Emi,
Université Mohamed V, Rabat),
Esenam
Akoussah (Université de Lomé),
Amel
Ben Abda (Enit,
Tunis)
David
Bekolle ( Université
de Ngaoundéré,
Cameroun)
Andreas
Griewank
(Humbold Universität, Berlin),
Mohamed
Jaoua (Université de Nice-Sophia Antipolis),
Jérôme
Jaffré (INRIA Rocquencourt),
Emmanuel
Kamgnia (Université de Yaoundé I),
François-Xavier
Le Dimet (Université Joseph Fourier,
Grenoble),
Zoubida
Mghazli (Université de Kenitra)
Maher
moakher (enit,
Tunis)
Maher.moakher@enit.rnu.tn
Nabil
NASSIF ( AUB American
University of Beyrouth,
Liban)
nn12@aub.edu.lb
Mary Teuw
Niane (Université de St Louis du Sénégal)
Abdou
Njifenjou (ENSP, Université de Yaoundé I)
Fatma Zohra
Nouri (Université Badji Mokhtar, Annaba,
Algérie),
Bernard Philippe (Inria
Rennes),
Patrice
Quinton (ENS Cachan, Ker Lann, Rennes),
Jean
Roberts (Inria
Rocquencourt),
Youssef SAAD ( University of
Minnesota, Mineapolis, USA)
Hassan SADOK (Université du Littoral Côte d’Opale,
Calais)
Ahmed SAMEH (Purdue University,
West-Lafayette, USA)
Denis
Trystram
(INPG, Grenoble)
Fabien
Campillo (Inria,
Montpellier)
Laurent
Debreu (Inria,
Grenoble),
Efstratios
Gallopoulos (University of Patras),
Norbert
Noutchegueme
(Université de Yaoundé I)
Hamidou
Toure (Université de Ouagadougou)
4.
Intelligence artificielle et
Apprentissage
Coordinateur : Mokhtar SELLAMI
La convergence des technologies de l’information et
de communications ont conduit au
développement à travers le
web de systèmes de plus en plus décentralisés,
interconnectés, marqués d’une composante de mobilité
et de multimédia, intégrant image, son et parole
notamment dans le domaine du E-learning.
Dans ce contexte, les
techniques de l’Intelligence Artificielle allant
des ontologies aux fouilles de données en passant
par les architectures multi-agents, le travail
collaboratif et les grilles de connaissances
prennent tout leur sens, avec notamment l’émergence
de la Web Intelligence (WI).
La thématique « Intelligence artificielle (IA)
et Environnements
Informatiques pour l’Apprentissage Humain (EIAH)» a pour objectif de réunir des chercheurs
développant et/ou appliquant différentes méthodes,
techniques et outils d'Intelligence Artificielle aux
diverses technologies du Web avec un regard
particulier sur les méthodologies de l’EIAH. Nous
sollicitons des articles de qualité dans tous les
domaines faisant l’objet du présent appel, les
propositions de communication portant sur de
nouvelles directions de recherche ou des nouveaux
domaines seront examinés avec une attention
particulière.
La présente liste de thèmes, non exhaustive, est
donnée ci-dessous à titre indicatif /
·
E-learning, Portails et
Environnements Virtuels d’Apprentissage
·
Agents & Systèmes coopératifs
·
Ingénierie et représentation des Connaissances
·
Ontologies (création, évolution, évaluation)
·
Extraction de connaissances à partir de texts, video,
signal et images
·
Interaction Homme-Machine
/
·
Raisonnement à base de modèles /
·
Apprentissage symbolique, Algorithmes Génétiques
& Réseaux de Neurones
·
Web sémantique et Multimédia
·
Techniques et accès universel au Web / Technics
for universal access to the web
·
Services Web basés sur les
Applications des Grilles / Web Services-based
Grid Applications
·
fouille de données et fouilles de textes/ Data Mining and Text Mining.
Comité de
lecture :
Abdel Ennaji
(LITIS - Université de Rouen)
Jean-Pierre
Asselin de Beauville (AUF, Canada),
Monique Baron (LIP6, Université Pierre et Marie Curie)
Stefano A.
Cerri (LIRMM,
University Montpellier2,
France)
Farinas
del Cerro (CNRS, Irit,
Toulouse),
Rose Dieng (Inria,
Sophia-Antipolis),
Katherin
Getao (University of Nairobi, Kenya),
Marie-Pierre
Gleizes (IRIT, Toulouse)
Jean-Paul
Haton (Loria, Inria, Vandoeuvre les Nancy),
Tarek
Khadir (LRI-Annaba, Algérie)
Jean-Marc
Labat (Université Pierre et Marie Curie)
Philippe Palanque (IRIT, Toulouse)
Josvah
Razafimandimby (Université de Finarantsoa,
Madagascar),
Ounsa
Roudies (EMI, Rabat, Maroc)
Mokhtar
Sellami (Université d’Annaba, Algérie),
William
Shu
(University of Buea, Cameroon),
Jacques
Siroux (Université de Rennes I),
Kamel
Smaili
(Loria, Nancy)
Salvatore-Antoine Tabbone
(Loria, Nancy)
Claude Tangha (Ecole Nationale Supérieure Polytechnique, Yaoundé),
5.
Systèmes d’information
Coordinateur : Joël Sor
Le système d’information (SI) peut être vu comme un
ensemble organisé de ressources : matériel,
personnel, données, procédures permettant
d’acquérir, de traiter, de stocker, de communiquer
des informations (textes, images, sons, etc.) dans
les organisations.
Au sein des entreprises, les SI sont aujourd’hui les
dépositaires du savoir faire et de l’ensemble des
connaissances acquises à l’extérieur et produites
par les organisations. Afin de fournir toute la
valeur ajoutée attendue, ils doivent répondre à la
complexification croissante des processus qu’ils
modélisent et instrumentent.
A l’origine, les systèmes d’information traitaient
les processus basiques des organisations, puis ils
ont pris en compte les processus métier complexes et
aujourd’hui ils doivent intégrer la circulation
instantanée des informations au sein de l’entreprise
étendue (partenaires, entreprise agile).
En terme de technologie, les systèmes d’information
doivent générer de la valeur ajoutée en offrant :
des capacités de traitement de grandes bases de
données distribuées, une capacité accrue de travail
collaboratif entre les agents, une meilleure
modélisation des processus, une meilleure sécurité
tout en optimisant les plateformes matérielles.
La présente liste de thèmes, non exhaustive, est
donnée ci-dessous à titre indicatif /
·
Plateformes distribuées, systèmes pervasifs
·
web services, workflow interopérants, …
·
Infrastructures de coopération et ouverture
·
Ingénierie et modélisation des processus et des
Connaissances, BPMS
·
Sécurité dans les systèmes distribués
Ce thème s’intéresse à l’utilisation de techniques
mathématiques pour la conception de méthodes,
d’outils et d’environnements pour le développement
et la validation de logiciels. Les méthodes
formelles servent à la conception et à
l'implémentation de systèmes informatiques et à leur
vérification. Nous sommes intéressé par toute
contribution technique dans laquelle des méthodes
formelles sont utilisées pour contribuer à
(I)
dériver un système informatique à partir d'une
spécification logique ou algébrique, ou à
(II)
améliorer le processus de développement de logiciel
(modularité, réutilisabilité, architectures
logicielles dirigées par les modèles, conception
d’applications à base de composants, programmation
par aspects , utilisation de langages dédiés,
méthodes génératives ... ), ou à
(iii) vérifier la
fiabilité et la sécurité des systèmes (technique
de vérification : model checking ..., test de
logiciels, assistants de preuve, protocoles
cryptographiques .).
Théorie des automates et des langages formels
Sémantique des langages de programmation
Logique et théorie des types en informatique
Catégories et algèbre en informatique
Théorie des treillis et interprétation abstraite
Spécification et vérification –
Preuve de programmes, assistants de preuves
Test de logiciel –
Architectures logicielles dirigées par les modèles
Modèles des objets et des composants logiciels
Programmation par aspects
Langages dédiés
Programmation générative
Transformations de programmes
Cryptographie
Comité de
lecture :
Badara Ali
Kaba (IAI, Libreville),
Olivier Barais (Université de Rennes I, Irisa)
Pascal Andre (Université de Nantes),
Eric Badouel (Inria,
Rennes),
Pierre Cointe (Ecole des Mines de Nantes et
Inria),
Jean-Claude
Derniame (Inria Lorraine, Nancy),
Derrick
Kourie
(University of Pretoria),
Ernest Ketcha
Ngassam
(University of Pretoria),
Didier Parigot (Inria,
Sophia-Antipolis),
Houari Sahraoui (Université du Québec à Montréal),
Yahya Slimani (Université d’El Manar, Tunisie),
Djiby Sow (Université Cheik Anta Diop, Dakar)
Théodore Tapsoba (EST, Université Polytechnique, Bobo Dioulasso),
Marcel Tonga (Université de Yaoundé I),
François Vernadat (CNRS,
Laas,
Toulouse),
