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)

2. 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

2. Important Dates:

• CARI-ICTAC research school: 12 – 14 October
• CARI conference: 14 – 16 October
• Joint CARI-ICTAC excursion: 17 October

3. Contact:  cari2018@cari-info.org

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

CARI’2012 – ALGERIE

CARI’2004 – TUNISIE