Conférence Plénière  / Plenary Session,Intelligence économique et propriété intellectuelle
J. P. BERNADAT
Conférences invitées / Invited lecturesAgrégation de variables et dynamique des populations
Pierre AUGER (IRD, Bondy, France)
Session1: Génie logiciel / Software Engineering
Combining B Tools for Multi-Process Systems Specification
C. Attiogbé (LINA – Université de Nantes, France)
Identification and Separation of Crosscutting Concerns: A Case Study
A. Amirat (Centre Universitaire de Souk Ahras, Algérie), M. T. Laskri , D. Meslati (Université de Annaba, Algérie)
Session2: Calcul scientifique / Scientific Computing
Dual mixed finite element methods of the elasticity problem  with Lagrange multipliers
S. Nicaise , L. Paquet (Université de Valenciennes et du Hainaut Cambrésis, France), J. Rafilipojaona(Université de Fianarantsoa, Madagascar)
Implementation of new variants of MPFA methods  for anisotropic flow problems
A. Kinfack Jeutsa (ENSP, Yaoundé, Cameroon, A. Njifenjou (ENSP, Yaoundé, Cameroon)
Session3:  Systèmes distribués / Distributed Systems
Modèle Arborescent pour l’équilibrage de charge dans les Grilles de Calcul
B. Yagoubi (Université d’Oran, Algérie)
Finding polynomials to count lattice points; Computer explorations with MuPAD-Combinat
J. Nzeutchap (Inst. Gaspard Monge, Université Marne-la-Vallée, France)
Un algorithme adaptatif optimal pour le calcul parallèle des préfixes
J-L. Roch, D. Traore (Institut National Polytech. Grenoble, France)
Session4: Statistique / Statistics
Etude et simulation du phénomène d’attente dans un système bancaire.  Approximation des mesures de performances des files d’attente M/G/C
D. Chedom Fotso ,  L. P. Fotso (Université de Yaoundé I, Cameroun)
Analyse bayésienne de modèles markoviens d’évolution de ressources naturelles.
F. Campillo (Inria/Irisa, Rennes, France , R. Rakotozafy (Université de Fianarantsoa, Madagascar ) V. Rossi (Inria/Irisa, France)
Techniques de soft computing pour l’identification lithologique dans la province triasique
S. Chikhi (Université de Constantine, Algérie)
Conférence Invitée/ Invited lecture
Comment extraire l’énergie des ondes locales dans les structures hétérogènes ?
Philippe DESTUYNDER (CNAM Paris, France)
Session5: Algorithmique / Algorithmic
The Hardcoded Dynamic State Allocation Algorithm
E. Ketcha Ngassam ,  D. Kourie (B. Watson,University of Pretoria, South Africa)
Heuristiques du problème du voyageur de commerce
B. Tadunfock Teti (Université de Yaoundé I, Cameroun), L.P. Fotso (Université de Yaoundé I, Cameroun)
Session6: Traitement du signal et de l’image / Signal and Image Processing
Codage vidéo par block matching adaptatif
A. Djeffal , Z. E. Baarir (Université Mohamed Khider, Biskra, Algérie)
Lane boundaries following to driver assistance system
R. Nourine , M. Elarbi Boudihir ,N. Benamrane , F. S. Khelifi  (Univ.D. Liabès, Sidi Bel-abbès, Algérie)
Session7: Logique et vérification / Logic and Verification
Timed Model-Checking Game: Case of Event Recording Logic
O. L. Nguena Timo (Université de Bordeaux 1, France)
Vérification des architectures de systèmes distribués par l’utilisation du  LTL model checker Maude
C. Jerad (ENIT, Tunisie), K. Barkaoui (CNAM Paris, France), A. Touzi-Grissa (ENIT, Tunisie )
Session8: Automatique / Control
On the stabilization of an exploited fish population model
E. H. El Mazoudi (Université Sidi Mohammed Ben Abdellah, Fès, Maroc), M. Mrabti (Université Sidi Med Ben Abdellah, Fès, Maroc ), N. Elalami (Mohammadia  School of Engineering (EMI, Rabat, Maroc)
Observer Design For an Exploited Fish Population Model
E. H. El Mazoudi (Université Sidi Mohammed Ben Abdellah, Fès, Maroc), M. Mrabti (Université Sidi Med Ben Abdellah, Fès, Maroc), N. Elalami (Mohammadia  School of Engineering (EMI, Rabat, Maroc)
Session9: Méthodes formelles / Formal Methods
Classification de contextes de liens hypertextes
M. Al-Hajj (Université François-Rabelais, Tours, France), G. Verley (Université François-Rabelais, Tours, France)
Cohérence de vues dans les grammaires algébriques
E. Badouel (Irisa/Inria, Rennes, France), M. Tchoupé (Irisa, Rennes, France et  Université de Yaoundé 1, Cameroun)
Session10: Calcul scientifique / Scientific Computing
Numerical simulation of exhaust muffler. An homogenized finite element method
E. Bécache (INRIA Rocquencourt, France), A.S. Bonnet-Bendhia (Poems-Ensta, Paris, France), R. Ben Fatma (Enit – Lamsin, Tunisie)D. Drissi (Enit – Lamsin, Tunisie), N. Gmati (Enit – Lamsin, Tunisie)
Etude comparative des méthodes de calcul de PageRank
S-J. Djungu (Université de Kinshasa, R.D. Congo), F. Mathieu (France Télécom R&D, France), P. Manneback (Faculté Polytechnique de Mons, Belgique)
Conférence plénière / Plenary session
Montage de Start-up
François Brown de Colstoun, (INRIA, Directeur DREI, Rocquencourt, France)
Conférence invitée / Invited lecture  
Jacobian-free Optimization
Andreas Griewank, (Humbold-Universität, Berlin, Germany)
Session11: Informatique fondamentale / Theoretical Computer Science
Combinatoire autour des mots sturmiens
I. Kabore, T. Tapsoba  (Université Polytechnique de Bobo-Dioulasso, Burkina Faso)
Dynamical Behaviour of Neural Networks iterated with Memory
P.  Melatagia Yonta, R. Ndoundam,  M. Tchuente (Université  de Yaoundé I, Cameroun)
Session12: Reconnaissance de texte et de la parole /  Text and Speach Recognition
Discriminating noisy sentences with partially recurrent neural networks
E. C. Ezin (Université d’Abomey-Calavi, Bénin)
From 3D soil Computed Tomography images to geometrical soil structures
O. Monga (IRD, France)
Session13: Méthodes formelles / Formal Methods
Test Cases Generation for Multi-Agent Systems using Formal Specification
Y. Kissoum (Skikda University, Algeria), Z. Sahnoun (Mentouri University, Algeria)
CCPBAC: Un cryptosystème à clés publiques basés sur les automates cellulaires
G. Tindo (Université de Yaoundé I, Cameroun)
Session14: Calcul Scientifique / Scientific Computing
On solving the data recovering problem on a flat boundary; Applications to a class of inverse problems
A. Ben Abda (Enit – Lamsin, Tunisie), L. Belaid-Jaafar (Enit – Lamsin, Tunisie ), A. Sakat (Université Cadi Ayyad, Maroc)
A robust recovery algorithm for the Robin inverse problem
S. Chaabane (Fac. des Sciences de Sfax, Tunisie), C. Elhechmi (Fac.des Sciences de Gabès, Tunisie), M. Jaoua (Enit – Lamsin, Tunisie)
Conférence Invitée / Invited lecture
Mathématiques, informatique et écologie microbienne
Claude LOBRY, (CIMPA, Nice, France)
Session15:
An Efficient Host-to-Host Available Bandwidth Estimation Scheme
A. Oluwatope (A. Aderounmu, Obafemi Awolowo University, Nigeria), O. Obembe (A. Aderounmu, Obafemi Awolowo University, Nigeria) , F. Ogwu (University of Botswana)
Interoperability test generation: formal definitions and algorithm
A. Desmoulin (Irisa/Université de Rennes I, France), C. Viho (Irisa/Université de Rennes I, France)
Session16:
A New Mathematical Formulation for Plant Structure Dynamics
L. Wu (Université J. Fourier, Grenoble, France/Chinese Academy of Sciences, China), F.-X. Le Dimet (Université Joseph Fourier,Grenoble, France), Ph. De Reffye (Inria Rocquencourt, France), B-G. Hu (Chinese Academy of Sciences, China)
Analysis error via Hessian in variational data assimilationF.-X. Le Dimet (LMC-Imag, Université Joseph Fourier, Grenoble, France),  V. Shutyaev (Inst. of Numerical Math, Russian Academy of Sciences, Moscow, Russia)
Session17: Bases de données / Data Bases
Une approche pour l’extraction des itemsets (fermés) fréquents
A. Bouchahda (Faculté des Sciences de Tunis, Tunisie), Y. Slimani (Faculté des Sciences de Tunis, Tunisie), S. Benyahia (Faculté des Sciences de Tunis, Tunisie)
Intégration de données hétérogènes dans SenPeer
D. Faye (Université Gaston Berger, Saint-Louis, Sénégal), G. Nachouki (Université de Nantes, France), P. Valduriez (Inria et Lina, France)
Extraction de connaissances basée sur les arbres Patricia  
M. Ben Haj Hmida (Faculté des Sciences de Tunis, Tunisie)
Session18: Traitement et analyse d’images / Image Processing and Analysis
A dual algorithm for denoising and preserving edges in image processing
Ph. Destuynder (CNAM Paris, France), M. Jaoua (Laboratoire J.-A. Dieudonné, Nice, France ), Hela Sellami (ENIT, Tunisie)
Recalage non rigide utilisant des déformations de forme libre (FFD) pour la reconstruction faciale tridimensionnelle
A. Kermi (Université  Annaba, Algérie, ENST Paris), I. Bloch (ENST Paris, France), M. T. Laskri (Université  Annaba, Algérie)
Description des formes planaires par lissage progressif de contours fermés
K. Kpalma (IETR, France), J. Ronsin (IETR, France)
Conférence Invitée / Invited lecture
IP Telephony in Mobile ad hoc networks : challenges and emerging approaches
Roch Glitho ( L.M. Ericsson/Université Concordia, Montréal/IMSP, Porto Novo, Bénin)
Session19: Méthodes formelles / Formal Methods
Agent d’apprentissage et la gestion du processus pédagogique
A. Bennane (Centre de formation des inspecteurs de l’enseignement, Maroc)
Une approche itérative pour l’allocation des tâches sur réseaux réguliers
C. Tayou Djamegni (Université de Dschang, Cameroun,  P. Quinton (INRIA Rennes / ENS Cachan, Rennes), S. Rajopadhye (USA), M. Tchuenté,  (Université de Yaoundé I, Cameroun)
Session20: Calcul scientifique / Scientific Computing
Identification of pointwise sources and small size flaws via the reciprocity gap principle; stability estimates
A. Ben Abda (Enit – Lamsin, Tunis,  Tunisia), R. Mdimagh (Enit – Lamsin, Tunis, Tunisia), A. Saada (Enit – Lamsin, Tunis, Tunisia)
Topological sensitivity analysis for detection of small flaws locationsA. Ben Abda (Enit – Lamsin, Tunis, Tunisia), M. Hassine (Enit – Lamsin, Tunis, Tunisia ), M. Jaoua (Laboratoire J.-A.Dieudonné, Nice and  Enit – Lamsin, Tunis, Tunisia)
Session21: Systèmes multi agents / Multi Agent Systems
Coordination par les jeux stochastiques – Apprentissage par renforcement et théorie des jeux pour la coordination de systèmes multi-agentsA. Dutech (Loria / Inria, France), R. Aras (Loria / Inria, France), F. Charpillet (Loria / Inria, France)
Modélisation multi-agents de systèmes physiques : application à l’érosion côtière
J.-M. Dembele (Université Cheikh Anta Diop, Dakar, Sénégal), C. Cambier (Université de  Paris 6, France)
Session22: Traitement et analyse d’images / Image Processing and Analysis
Classification des textures: Application à la classification d’images médicales
A. Moussa(Ecole Nationale des Sciences Appliquées de Tanger, Maroc), A. Sbihi (Université Ibn Tofail, Kénitra, Maroc), J.-G. Postaire (Université des Sciences et Technologies de Lille, France)
Méthode optimisée de classification d’images satellitaires radar RSO par usage de paramètres de texture d’ordre supérieur. Application à la mangrove littorale Camerounaise
N. Talla Tankam (ENSP, Yaoundé, Cameroun), A. Dipanda (Université de Bourgogne, France), E. Tonyé (ENSP, Yaoundé, Cameroun), A. Akono (ENSP, Yaoundé, Cameroun)
DEMONSTRATIONS
Un système d’antivol de voiture à télécommande GSM doté d’une fonction  de géolocalisation par GSM et GPS
A.S. Adedjoum (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin),G. Adjovi (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin), L. Aga (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin), B. Degbo (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin)