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) | |