|
10e
Colloque Africain sur la Recherche en
Informatique
et en Mathématiques Appliquées
CARI'2010
Côte
d'Ivoire,
Yamoussoukro
18 – 21
octobre 2010 / October 18 – 21, 2010
10e
Colloque Africain sur la Recherche en
Informatique
et en Mathématiques Appliquées
10th African Conference
on Research in Computer Science
and Applied Mathematics
Liste of thematics:
Theme1: Complex Systems Modelling:
Theme2: Signal, Image and Multimedia:
Theme3: Scientific Computing and Parallelism:
Theme4: Artificial Intelligence & Computer-based
Collaborative Environment:
Theme5: Information Systems:
Theme6: Distributed Systems, Embarked Systems,
Networks, Mobility:
Theme7: Formal Methods for Software Engineering
Theme1: Complex Systems
Modelling:
Coordination : Christophe Lett
The understanding of natural,
and social systems is becoming nowadays more and
more important for political and economical
managers. Therefore, complex systems Science is a
growing field of research motivated by global
problems regarding Ecology, Epidemiology, social
stability and so on, fields of research which are
fundamental questions for industrialized as well as
developing countries. Complex systems modelling
requires the development of new and sophisticated
Mathematical and Informatics tools as well a deep
understanding of the specific fields of
applications. As a consequence, each particular
research subject requires a specific type of
modelling adapted to this topic.
The main research issues are
the following ones:
1. Developping new
mathematical tools for complex systems analysis.
- Dynamical Systems
- Aggregation of variables
- Spatial dynamics
- Tuime series analysis
- Percolation modelling
- Mathematical representation of porous media
2. Developping new informatics tools for complex
systems analysis.
- Individual based models
- Multi-agent modelling and simulation
- Coupling GIS and multi-agent models
- Participative simulation and modelling
3. Applications for developing countries
- Population, community and ecosystem managing
- Renewable resource management
- Urban dynamics
- Epidemiology
- Natural catastrophies management
Lecturers
Committee :
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).
Theme2: Signal, Image and
Multimedia:
Coordinateur : Régine Andre-Obrecht
The digital processing of
information, conveyed by signals, is present in a
large spectrum of domains: medicine, geophysics,
astrophysics, audio-visual, industrial production…
This multi-field aspect results in an increasingly
fast development as well at the theoretical level as
at the level of technological application, which
explains the broad spectrum of the expected
contributions where the theoretical speculations
will be concerned with a large variety of
applications. The explosion of the volume of the
audio, video and audio-visual data, and the
omnipresence of the image in many applications calls
for specific research geared to the 2D and 3D
signals taking into account their temporal
dimension. Some topics like the enhancement,
restoration and the fusion of information are
central. To address the
issue of multilingual communication, research
contributions on handwritten characters and language
are also welcomed.
The present list of topics
given below includes, but not limited to:
- 1. Signal processing
Statistical processing
(segmentation, detection, classification)
Inverse problems
Coding/decoding
Sampling, Interpolation,
Restoration
- 2. Image and multidimensional
signals, Video, Multimedia
Multi source, multi sensor
processing
Computer vision, 3D
reconstruction
Segmentation, tracking,
interpretation and classification
Data and Information Fusion
- 3. Characters, speech and
Language
Speech, speaker
and language recognition
Character recognition
Speech synthesis
- 4. Applications
Communications
Medical applications
Audio video document indexing
and retrieval
…
Lecturers
Committee :
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)
Theme3: Scientific Computing
and Parallelism:
Coordinateur : Bernard Philippe
The topics include any
development of tools which numerical modeling
requires and which imply high computing resource.
Applications are included in the topics of the track
as well. The main differences with the track devoted
to complex system modeling lye in the stress which
is put on the equation solvers rather than on the
model to be considered.
Therefore the topics mainly
include studies of numerical algorithms as well as
their implementation with a special concern for
network of computers. They may also include studies
on the model selection for any physical phenomenon
as long as the resulting computing volume is
high.Submissions in Image Processing or Signal
Processing can also be proposed when they are
focused on Numerical Analysis.
1.
Numerical algorithms
- Discretizing techniques
(finite differences, finite elements, finite
volumes)
- Stochastic models, numerical probabilities, Monte
Carlo methods
- Solvers for large systems
(direct methods, iterative methods for linear
systems ; Newton’s method ; eigenvalue solvers),
- Schemes for solving Differential Equation (ordinary or algebraic).
2. Parallelism and Grid computing.
-
Parallel numerical algorithms
and implementations on network of parallel
computers,
-
Tools for parallelism (parallelizers,
performances, parallel librairies)
-
Tools for implementations on
grids.
3. Applications
- Hydrology (on surface,groundwater)
- Ecology and Agronomy
- Weather forecast, climatology,
- Economics,
- Communication networks,
Lecturers
Committee:
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)
Theme4: Artificial Intelligence & Computer-based
Collaborative Environment:
Coordinateur : Mokhtar SELLAMI
The convergence of Information
and Communication Technologies led to the
development through the Web of systems increasingly
decentralized, inter-connected, distinguished by
components of mobility and multi-media, integrating
image, sound and speech in particular in the field
of E-learning.
In this context, Artificial
Intelligence technics ranging from ontologies, to
Data Mining via multi-agent architecture, computer
supported collaborative work and Knowledge Grid take
all their true meaning, with in particular the
emergence of the Web Intelligence (WI).
The thematic “Artificial
Intelligence & Computer-based Collaborative
Learning Environment (CCLE)” aims to bring together
researchers developing and/or applying different
methods, techniques and tools of Artificial
Intelligence to the various technologies of the Web
with a meaningfully look to the CCLE
methodologies.
We request quality papers in
all the fields being the subject of this call, the
proposals relating new directions of research or
new fields will be examined with a special
attention.
The
present list of topics given below include but not
limited to:
-
E-Learning portals and Virtual Learning
Environments,
- Agents and
Cooperative Systems
-
Knowledge Engineering and Knowledge representation
-
Ontology (creation, evolution, evaluation)
-knowledge extraction from text,
video, signals and images
-
Computer-Human Interaction
- Model Based
reasonning
- Symbolic -
Learning,
Genetic Algorithms
and Neural Networks
-
Multimedia and
Semantic Web
-
Technics
for universal access to the web
- Web Services-based
Grid Applications
- Data Mining and Text Mining.
Lecturers
Committee:
Abdel Ennaji
(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),
Pascal Eugénie
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é),
Theme5: Information Systems:
Coordinateur : Joël Sor
At first, information systems
treated basic process of the organizations; then
they took into account complex profession process
and now they have to integrate the immediate traffic
of informations within the companies (partners…)
Information systems can be
considered as an organized resources group:
equipments, staff, data, and procedures for buying,
treating, stocking and communicating informations
(text, image, sound) in organizations.
Within the companies,
information systems contain all knowledges coming
from outside and producted by the organizations. In
order to obtain added-value, information systems
have to adapt to the growing complexification of the
process that they modelise and instrument.
In terms of technology,
information systems must generate an added-value by
offering treatment possibilities of big distributed
data bases, collaborative systems for the staff, a
better process modelisation, a better security and
optimize plateforms.
The present list of topics
given below include but not limited to:
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
Optimisation des infrastructures, virtualisation
Connaissance et systèmes complexes (Data Mining)
Lecturers
Committee :
Mohamed Daoudi (LIFL CNRS - USTL Lille 1)
Brigitte Kerhervé (Université du Quebec à Montréal),
Philippe
LEMOISSON (CIRAD) (philippe.lemoisson@cirad.fr)
M.K. Luhandjula (University
of Pretoria),
Samba Ndiaye (Université C.A. Diop, Dakar),
Alain Pirotte (Université de Louvain, Belgique),
Joël Sor (Cirad,
Montpellier),
André Totohasina (Université d’Antsiranana),
Christophe GNAHO (Paris 5, UFR Maths-Informatique)
christophe.gnaho@free.fr
Theme6: Distributed Systems,
Embarked Systems, Networks, Mobility:
Coordinateur :César Viho
The evolution of both systems
and computer networks authorizes developing
different kinds of efficient distributed systems,
applications and services based on these
infrastructures. These evolutions bring new
challenges regarding protocols, systems and
applications in network architectures. It is
important to anticipate new needs induced by these
evolutions.
Topics of interest are the
following but not limited to:
Network
Architecture & protocol engineering
· Network
management and administration
· Adhoc & Sensors
Networks
· Mobile Network,
Wireless & Satellits
· High-speed networks
· Multimedia transmission and
Quality of service
· Distributed systems and
applications
· Real time Embedded
systems
· Peer-to-peer networks
·Protocol validation and
testing
·Performance evaluation
·Security in distributed systems and networks
Lecturers
Committee :
Jean-Marie
Bonnin (GET/ENST-Bretagne)
Dalila Chiadmi (Ecole Mohammadia d’Ingénieurs, Rabat),
Gilles Guette (IUT de Lannion)
Jean-Claude
Hochon (Airbus, France)
Michel Hurfin (Inria,
Rennes)
Anne-Marie
Kermarec (Inria, Rennes)
Ibrahim Lokpo (INP Houphouët Boigny, Yamoussoukro, Côte d’Ivoire),
Miklos Molnar (Insa,
Rennes)
Noufissa Mikou (Université de Bourgogne, Dijon)
Isabelle Puaut (Université de Rennes I)
Pierre Rolin (Télécom INT, Evry)
César Viho (Université de Rennes I)
Theme7: Formal Methods for
Software Engineering
Coordinateur : Eric Badouel
This track is concerned by
mathematical techniques for the design of methods,
tools and environments for the development and
validation of computer systems (both software and
hardware). Formal Methods are used to design and
implement a system as well as to verify that this
system satisfies some requirements. We are
interested in any contribution promoting the use of
formal methods to address concerns such as: (i)
deriving software systems from algebraic or
logical specifications, (ii) improving the process
of software development (modularity, reusability,
model driven software architectures, models of
objects and components, aspect-oriented programming,
domain specific languages, generative programming
...), (iii) improving the reliability and security
of systems (model checking, proof assistants,
software testing, cryptographic protocols ... )
Automata theory and formal languages
Semantics of programming languages
Logic
and type theory in computer science
Category
theory and algebra in computer science
Lattice theory and Abstract Interpretation
Specification
and model checking
Theorem proving, proof assistants
Software testing
Model Driven Architectures
Models of objects and components
Aspect-oriented
programming
Domain-specific languages
Generative
programming
Program
transformations
Cryptography
Lecturers
Committee :
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),
|
