African Conference on Research in Computer Science and Applied Mathematics, South Africa, Stellenbosch - 14th-16th October 2018

Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Afrique du Sud, Stellenbosch, 14-16 Octobre 2018

CARI2018: Tutorials and  Dates…

  1. Tutorials
  • Interactive Theorem Proving and Program Development (Yves Bertot, Inria)
  • Verification of Security Protocols – from Confidentiality to Privacy (Vincent Cheval, Inria, Nancy)
  • Symbolic Execution for Java (Willem Visser, Stellenbosch University)
  • The Correctness-by-Construction Approach to Programming (Ina Schaefer, TU Braunschweig)
  • Introduction to Description Logics (Thomas Meyer, Univ. of Cape Town)
  1. Invited speakers
  • Vincent Cheval, LORIA, France
  • Jacek Banasiak, University of Pretoria, South Africa
  • Oleg Smirnov, Square Kilometre Array, South Africa
  • Faker Ben Belgacem, UTC, France
  1. Important Dates:
  • CARI-ICTAC research school: 12 – 14 October
  • CARI conference: 14 – 16 October
  • Joint CARI-ICTAC excursion: 17 October
  1. Contact:

4. Link to CARI Conference Registration 


List of accepted papers CARI’2018

  •  A multi-seasonal model of the dynamics of banana plant-parasitic nematodes.
    Israël Tankam Chedjou, Suzanne Touzeau, Frédéric Grognard, Ludovic Mailleret, Jean Jules Tewa
  • Viral dynamics of a delayed HIV-1 infection model with both virus-to-cell and cell-to-cell transmissions, and CTL immune response delay.
    Martin Luther Mann Manyombe, Denis Fils Nkoa Onana, Joseph Mbang, Samuel Bowong
  • Electrocardiograms patterns analysis using Artificial Neural Network and non-linear regression.
    Abdoul-Dalibou Abdou, Ndeye Fatou Ngom, Oumar Niang
  • A spatio-temporal model for phenomena dynamics based on 2D Diffusion equations.
    Samuel Ismael Billong IV, Georges-Edouard Kouamou, Thomas Bouetou,
  • Validation of a Lagrangian model using trajectories of oceanographic drifters.
    Hilaire Amemou, Vamara Koné, Philippe Verley, Christophe Lett
  • Modelling and control of coffee berry borer infestation.
    Yves Fotso, Frédéric Grognard, Berge Tsanou, Suzanne Touzeau
  • Operating diagram of a flocculation model in the chemostat.
    Radhouane Fekih-Sale, Tewfik Sari
  • How do variations in water levels affect Predator–prey interactions.
    Ali Moussaoui, Kheira Belkhodja
  • Homogenization of time series.
    Bruno Bakys Ralahady, André Totohasina.
  • Coupling Discontinuous Galerkin method and integral representation for solving Maxwell’s system.
    Anis Mohamed, Nabil Gmati, Stéphane Lanteri.
  • Split-convexity method for image restoration.
    Hamdi Houichet, Anis Theljani, Badreddine Rjaibi, Maher Moakher.
  • Discontinuous Galerkin method (DGM): from classical to isogeometric (hyperbolic problem).
    Asma Gdhami, Maher Moakher, Regis Duvigneau.
  • Dynamic resource allocations in virtual networks through a knapsack problem’s dynamic programming solution.
    Vianney Kengne Tchendji, Kerol Roussin Donteu Djoumessi, Yannick Florian Yankam.
  • Secure and Energy-Efficient Geocasting Protocol for Hierarchical Wireless Sensor Networks.
    Vianney Kengne Tchendji, Blaise Paho Nana, A. Yvan Guifo Fodjo.
  • A Survey on e-voting protocols based on secret sharing techniques.
    Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb.
  • Survey of Internet of Things Applications in Smart Agriculture.
    Salim Chikhi, Badreddine Miles.
  • Images as sequences of points of an elliptic curve.
    Cidjeu Djeuthie Diderot, Tieudjo Daniel.
  • Novel approach to maximize the lifetime of Wireless sensor networks.
    Fatima Es-sabery, Abdellatif Hair.
  • Interfaces of roles in distributed collaborative systems.
    Eric Badouel, Rodrigue Aimé Djeumen Djatcha.
  • ε -TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets.
    Médésu Sogbohossou, Antoine Vianou.
  • Model-checking on grafcets through translation into time Petri nets.  
    Médésu Sogbohossou, Bernard Berthomieu.
  • Adjustment module to improve auto-adaptiveness of flood forecasting Systems.
    Tanzouak Vaumi Joël Paulin, Omer Blaise Yenke. Ndiouma Bame, Idrissa Sarr.
  • Building ego-community based on a non-closed neighborhood.
    Ahmed Ould Mohamed Moctar, Idrissa Sarr.
  • An Improved version of Lambda Architecture.
    Miguel Landry Foko Sindjoung, Alain Bertrand Bomgni, Elie Tagne Fute, Justin Chendjou.
  • A parallel pattern-growth algorithm.
    Kenmogne Edith Belise.
  • Towards a hybrid model of semantic communities detection.
    Félicité Gamgne Domgue, Norbert Tsopze, René Ndoundam, Arnaud R. M. Ahouandjinou.
  • Generic heuristic for the mnk-games.
    Abdel-Hafiz Abdoulaye, Ratheil Houndji, Eugène Ezin, Gael Aglin.
  • Scaling the ConceptCloud Browser to Large Semi-Structured Data Sets.
    Joshua Berndt, Bernd Fischer, Arina Britz

Présentation Générale – CARI- Overview

Le CARI, Colloque Africain sur la Recherche en Informatique est le fruit d’une coopération internationale rassemblant universités africaines, centres de recherche français et organismes internationaux. Il est  devenu un lieu privilégié de rencontre et d’échanges entre chercheurs et décideurs africains et internationaux de haut niveau dans les domaines de l’informatique et des mathématiques appliquées. Le programme scientifique, qui reflète la richesse et la diversité de la recherche menée sur le continent africain, met un accent particulier sur les travaux susceptibles de contribuer au développement technologique, à la connaissance de l’environnement et à la gestion des ressources naturelles.

Le CARI est co-organisé par l’Institut National de Recherche en Informatique et en Automatique (INRIA), l’Institut de Recherche pour le Développement (IRD), le Centre de coopération Internationale en Recherche Agronomique pour le Développement (CIRAD), le Centre International des Mathématiques Pures et Appliquées (CIMPA), et l’Agence Universitaire de la Francophonie (AUF). Organisé tous les deux ans en Afrique, la prochaine édition de 2018 sera organisée en Afrique du Sud sous la responsabilité du Professeur Bruce Watson (Université de Stellenbosch).

CARI, the African Conference on Research in Computer Science,  is the outcome of an international cooperation involving African universities, French research institutes, and international organizations. Occurring once every two years since its first edition held in 1992 (Yaounde, Cameroon), CARI is more than a scientific gathering, but a dynamic environment for cooperation that brings together African researchers, and decision-makers in the fields of computer science and applied mathematics. The scientific program, which reflects the wealth and diversity of the research carried out on the African continent, places special emphasis on work that can contribute to technological development, environmental awareness and natural resource management.

The conference is organized by the Institut National de Recherche en Informatique et en Automatique (INRIA), the Institut de Recherche pour le Développement (IRD), the Centre de coopération Internationale en Recherche Agronomique pour le Développement (CIRAD), the International Center for Pure and Applied Mathematics (CIMPA) and the Agence Universitaire de la Francophonie (AUF). The next conference in 2018 will be organised in South Africa under the responsability of Prof. Bruce Watson (Stellenbosch University).

Thématiques – CARI’2018 – Thematics

Sciences Numériques pour la biologie et systèmes complexes / Numerical sciences for biology and complex systems:

Mathematical modelling for biological problems are crutial  to advance on research  topics dealing with medical application . ..  we welcome submission of original research papers in electro-encephalography, electrocardiography, epidemiology, cancer research .. ..

Méthodes formelles pour les systèmes informatiques/ Formal methods for computing systems

Software are more and more complex and requires formal methods to verify transaction-level,  safety, correctness,  security properties..  we welcome submission of original research papers in all aspects of formal methods and their applications

Images, signaux, réseaux et systèmes à grande échelle / Images, signal, networks and large scale systems

This track deals with large-scale distributed systems, wired or wireless networks, associated protocols as well as means for their quantitative and qualitative assessment. we welcome submission of original research papers focusing on theses topi

Calcul Scientifique et Parallélisme / Scientific computation and parallelism

The new parallel and distributed platforms have considerably improved the performance of scientific applications, but at the same time, they have also greatly modified the algorithms and the way of programming. This topic contains all the tools developed for the implementation of scientific applications .. .

Découverte de Connaissances et Intelligence Artificielle/ Knowledge Discovery and Artificial Intelligence (KoDAI)

Extracting knowledge from the Big Data has become increasingly difficult; as a consequence, Knowledge Organization and Mining (KOM) methods and tools are more and more necessary. we welcome submission of original research papers in all aspects of knowledge engineering.

Partenaires permanents – CARI – Permanent partners

Institut National de Recherche en Informatique et en Automatique

L’Inria est un organisme public français de recherche, dédié aux sciences et technologies du numérique.  C’est un établissement public à caractère scientifique et technologique, placé sous la double tutelle des Ministres français chargés de la Recherche et de l’Industrie.

Institut de Recherche pour le Développement FRANCE

L’Institut de recherche pour le développement (IRD) est un organisme français de recherche, original et unique dans le paysage européen de la recherche .  Il mène des travaux en Afrique, dans l’Océan Indien, en Amérique latine et dans le Pacifique.


Le Cirad est un centre de recherche français qui répond, avec les pays du Sud, aux enjeux internationaux de l’agriculture et du développement. Ses activités recouvrent les domaines des sciences agronomiques, vétérinaires, forestières et agroalimentaires.


L’Agence universitaire de la Francophonie (AUF) est un réseau mondial d’établissements d’enseignement supérieur et de recherche. L’AUF a recentré en 2000 ses priorités afin de favoriser les synergies au sein de ses programmes et de faciliter leur déploiement à travers des régions du monde ayant des besoins très divers et spécifiques

Centre International de Mathématiques Pures et Appliquées (CIMPA)

CIMPA. Le Centre International de Mathématiques Pures et Appliquées est une association loi 1901 créée en 1978, qui est centre de l’Unesco. Son objectif est de promouvoir la coopération internationale au profit des pays en développement

 CARI 1992 -2017 … 25 ans de partenariat scientifique

CARI - 25 ANS de Partenariat Scientifique FRANCE-AFRIQUE - CARI - 25 years of FRANCE-AFRICA scientific Partnership

 Accéder  aux contenus des colloques CARI 1992 -2016

Access to reports and proceedings of the previous CARI 

Just ask about CARI 2018

5 + 15 =