PROGRAMME CARI-2018

Day 1: Friday 12 October 2018 (ICTAC-CARI School)

 

8:30 Tutorials
Bertot
Interactive Theorem Proving and Program Development 1
10:30 Break
11:00 Bertot
Interactive Theorem Proving and Program Development 2
12:30 Lunch
14:00 Visser
Symbolic Execution for Java 1
15:30 Break
16:00 Visser
Symbolic Execution for Java 2
18:00 Close

 

Day 2: Saturday 13 October 2018 (ICTAC-CARI School)

 

9:00 Tutorials
Cheval
How difficult is the verification of cryptographic protocols ?
11:00 Break
11:15 Cheval
How difficult is the verification of cryptographic protocols ?
12:45 Lunch
13:45 Meyer
An Introduction to Description Logics 1
15:15 Break
15:30 Meyer
An Introduction to Description Logics 2
17:30 Close

 

Day 3: Sunday 14 October 2018 (ICTAC-CARI School)

 

9:00 Tutorials
Thiemann
Derivation beyond Regular Languages 1
11:00 Break
11:15 Thiemann
Derivation beyond Regular Languages 2
12:45 Lunch
13:45 Schaefer and Cleophas
The Correctness-by-Construction Approach to Programming 1
15:15 Break
15:30 Schaefer and Cleophas
The Correctness-by-Construction Approach to Programming 2
17:30 Close

 

Day 3: Sunday 14 October 2018 (CARI Conference)

 

8:45 CARI  opening
9:00 Invited talk
Faker Ben Belgacem
TBA
10:00 Break
10:30 Contributed talks
Israël Tankam Chedjou, Suzanne Touzeau, Frédéric Grognard, Ludovic Mailleret, Jean Jules Tewa
A multi-seasonal model of the dynamics of banana plant-parasitic nematodes.
Martin Luther Mann Manyombe, Denis Fils Nkoa Onana, Joseph Mbang, Samuel Bowong
Viral dynamics of a delayed HIV-1 infection model with both virus-to-cell and cell-to-cell transmissions, and CTL immune response delay.
Abdoul-Dalibou Abdou, Ndeye Fatou Ngom, Oumar Niang
Electrocardiograms patterns analysis using Artificial Neural Network and non-linear regression.
Samuel Ismael Billong IV, Georges-Edouard Kouamou, Thomas Bouetou
A spatio-temporal model for phenomena dynamics based on 2D Diffusion equations
12:30 Lunch
14:00 Invited talk
Vincent Cheval
TBA
15:00 Break
15:15 Contributed talks
Hilaire Amemou, Vamara Koné, Philippe Verley, Christophe Lett
Validation of a Lagrangian model using trajectories of oceanographic drifters.
Yves  Fotso, Frédéric Grognard, Berge Tsanou, Suzanne Touzeau
Modelling and control of coffee berry borer infestation.
Radhouane Fekih-Sale, Tewfik Sari
Operating diagram of a flocculation model in the chemostat.
16:45 Break
17:00 Contributed talks
Ali Moussaoui, Kheira Belkhodja
How do variations in water levels affect Predator–prey interactions.
Bruno Bakys Ralahady, André Totohasina.
Homogenization of time series.
18:00 Close

 

Day 4: Monday 15 October 2018 (CARI Conference)

 

9:00 Invited talk
Jacek Banasiak
Dynamical systems on networks and beyond
10:00 Break
10:30 Contributed talks
Vianney Kengne Tchendji, Kerol Roussin Donteu Djoumessi, Yannick Florian Yankam.
Dynamic resource allocations in virtual networks through a knapsack problem’s dynamic programming solution.
Fatima Es-sabery, Abdellatif Hair.
Novel approach to maximize the lifetime of Wireless sensor networks.
Vianney Kengne Tchendji, Blaise Paho Nana, A. Yvan Guifo Fodjo.Secure and Energy-Efficient Geocasting Protocol for Hierarchical Wireless Sensor Networks.
Salim Chikhi, Badreddine Miles.
Survey of Internet of Things Applications in Smart Agriculture.
12:30 Lunch
14:00 Invited talk
Oleg Smirnov
The radio interferometric data challenge: from MeerKAT towards the SKA
15:00 Break
15:15 Contributed talks
Anis Mohamed, Nabil Gmati, Stéphane Lanteri.
Coupling Discontinuous Galerkin method and integral representation for solving Maxwell’s system.
Anis  Theljani, Badreddine Rjaibi, Maher Moakher.
Split-convexity method for image restoration. Hamdi Houichet.
Asma Gdhami, Maher Moakher, Regis Duvigneau.
Discontinuous Galerkin method: from classical to isogeometric.
16:45 Break
17:00 Contributed talks
Médésu Sogbohossou, Antoine Vianou.
ε -TPN: definition of a Time Petri Net formalism simulating the behaviour  of the timed grafcets.
Médésu Sogbohossou, Bernard Berthomieu.
Model-checking on grafcets through  translation into time Petri nets.
18:00 Close
 

 

Day 5: Tuesday 16 October 2018 (CARI Conference)

 

9:00 Invited talk
Yves Bertot
Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
10:00 Break
10:30 Contributed talks
Abdel-Hafiz Abdoulaye, Ratheil Houndji, Eugène Ezin, Gael Aglin.
Generic heuristic for the mnk-games.
Tanzouak Vaumi Joël Paulin, Omer Blaise Yenke. Ndiouma Bame, Idrissa Sarr.
Adjustment module to improve auto-adaptiveness of flood forecasting Systems.
Miguel Landry Foko Sindjoung, Alain Bertrand Bomgni, Elie Tagne Fute, Justin Chendjou.
An Improved version of Lambda Architecture..
Kenmogne  Edith Belise.

 

 

A parallel pattern-growth algorithm.

12:30 Lunch
14:00 Contributed talks
Ahmed Ould Mohamed Moctar, Idrissa Sarr.
Building ego-community based on a non-closed neighborhood.
Félicité Gamgne Domgue, Norbert Tsopze, René Ndoundam, Arnaud  S. R. M. Ahouandjinou.
Towards a hybrid model of semantic communities detection.  .
Joshua Berndt, Bernd Fischer, Arina Britz
Scaling the ConceptCloud Browser to Large Semi-Structured Data Sets.
15:30 Break
16:00 Contributed talks
Eric Badouel, Rodrigue Aimé Djeumen Djatcha.
Interfaces of roles in distributed collaborative systems.
Cidjeu Djeuthie Diderot, Tieudjo Daniel.
Images as sequences of points of an elliptic curve.
17:00 Break
17:15 CARI General Assembly, next CARI advert
18:00 Close
 

 

Day 6: Wednesday 17 October 2018 (Excursion)

 

Full-day excursion to Cape Peninsula (Boulders Penguin Colony in Simons Town, Cape Point and Cape of Good Hope, wine tasting)