Monday, June 30, 2025

Time Event (+)
09:00 - 09:20 Reception and welcoming coffee (at INRIA / Irisa) (INRIA Salle Markov)  
09:20 - 09:30 Opening (INRIA Salle Markov)  
09:30 - 11:00 Codac workshop (INRIA Salle Markov) - Simon Rohou
 
11:00 - 12:00 Visit of the ROBSTAR robotics platform - Visit of the ROBSTAR robotics platform of the Inria/IRISA RAINBOW team. Demonstrations of robots and drones.  
12:00 - 12:30 Moving to Centrale Supelec - Moving from the INRIA building to Centrale Supelec (place for conference talks and lunches)  
12:30 - 13:30 Lunch (Centrale Supelec restaurant)  
14:00 - 15:30 Robotics (Centrale Supelec (room 151)) (+)  
14:00 - 14:30 › Inner and outer approximation of the workspace of a robotic arm - Maël GODARD, École Nationale Supérieure de Techniques Avancées, Lab-STICC
main file
14:30 - 15:00 › EgoNav: A Reliable, Interval-based Egocentric Navigation and Obstacle Avoidance Approach for Autonomous Marine Vehicles - Quentin Brateau, École Nationale Supérieure de Techniques Avancées Bretagne
main file
15:00 - 15:30 › Reliable SLAM in ambiguous environments - Simon Rohou, ENSTA, Lab-STICC, UMR CNRS 6285, Brest
main file
15:30 - 16:00 Coffee break (Centrale Supelec (room 151))  
16:00 - 17:30 Robotics (Centrale Supelec (room 151)) (+)  
16:00 - 16:30 › A discrete Search and Rescue Problem under uncertain interval parameters - Joël Bougron, U2IS
main file
16:30 - 17:00 › Towards Safe & Spare Robot Navigation: Self-Triggered Control on Invariant Sets - Florian Pouthier, LS2N
main file
17:00 - 17:30 › ROS2 implementation of an optimal local path planner using Interval B-splines - Lucas Si Larbi, CEA, ENSTA
main file

Tuesday, July 1, 2025

Time Event (+)
09:00 - 10:30 Numerical methods (Centrale Supelec (room 151)) (+)  
09:00 - 09:30 › Approximation of the inverse of a function near an extremum - Christophe Jermann, Laboratoire des Sciences du Numérique de Nantes
main file
09:30 - 10:00 › A hybrid algorithm to solve Chebyshev approximation problem with interval certification - Valentin Guy-Deroubaix, Laboratoire des Sciences du Numérique de Nantes
main file
10:00 - 10:30 › Matryoshka arithmetic - Arnaud Minondo, CNRS, LIX
main file
10:30 - 11:00 Coffee break (Centrale Supelec (room 151))  
11:00 - 12:30 Numerical methods (Centrale Supelec (room 151)) (+)  
11:00 - 11:30 › Floating-point Formats and Numerical Accuracy for the Training Phase in Machine Learning - Nathalie Revol, Arithmétique des ordinateurs, calcul formel et vérification formelle
main file
11:30 - 12:00 › A Study on Linear Regression of Interval-valued Data - Spyridon Siouras, University of Ioannina - Stavros Adam, University of Ioannina
main file
12:00 - 12:30 › Interval Integration of Triangular Systems - Luc Jaulin, Lab-STICC
main file
12:30 - 13:30 Lunch (Centrale Supelec restaurant)  
16:30 - 18:30 Visit of Rennes - A guided tour of the historic city center of Rennes, with a focus on the works of the Odorico mosaicists family. The meeting point is in front of crêperie Bretone, 7 rue Joseph Sauveur. Access by metro B "Saint Germain" or bus C4/C6 "Musée Beaux Arts" (or métro A "République").
 
19:00 - 22:00 Dinner (Crêperie La Rozell, 14 rue de Penhoet (city centre))  

Wednesday, July 2, 2025

Time Event (+)
09:00 - 10:30 Estimation (Centrale Supelec (room 151)) (+)  
09:00 - 09:30 › The Theorem of Ehlich and Zeller to Develop Polytopic Models for Set-Based Observers - Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg
main file
09:30 - 10:00 › Polytope-Based Interval State Estimation for an Electrochemical Model of a Lithium-Ion Battery - Wissam KHENNOUNE, CNAM Paris
main file
10:00 - 10:30 › Assessment of the Accuracy of Interval Observers by a Zonotopic Approach - Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg
main file
10:30 - 11:00 Coffee break (Centrale Supelec (room 151))  
11:00 - 12:10 Robotics (Centrale Supelec (room 151)) (+)  
11:00 - 11:30 › Parking Spot Tracking using Interval Methods - Fabrice Le Bars, École Nationale Supérieure de Techniques Avancées
main file
11:30 - 12:00 › Ultra-wideband Sensor Based Robust Model Predictive Control - Théo Le Terrier, Univ Rennes, CNRS, Inria, IRISA
main file
12:10 - 12:30 Closing (Centrale Supelec (room 151))  
12:30 - 13:30 Lunch (Centrale Supelec restaurant)  
14:00 - 16:00 Assistive robotics bootcamp visit - Visit of the RAINBOW assistive robotics bootcamp, with robots (wheelchairs, exoskeleton) and experiments.  
CNRS CCSD Sciencesconf