Programme

Week Mon. 30 Tue. 01 Wed. 02 List

	Mon. 30	Tue. 01	Wed. 02
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00	Reception and welcoming coffee (at INRIA / Irisa) 9:00 - 9:20 (20min) Reception and welcoming coffee (at INRIA / Irisa) INRIA Salle Markov Opening 9:20 - 9:30 (10min) Opening INRIA Salle Markov Codac workshop 9:30 - 11:00 (1h30) Codac workshop INRIA Salle Markov Simon Rohou https://swim2025.sciencesconf.org/data/program/tuto_swim_2025.pdf Visit of the ROBSTAR robotics platform 11:00 - 12:00 (1h) Visit of the ROBSTAR robotics platform Visit of the ROBSTAR robotics platform of the Inria/IRISA RAINBOW team. Demonstrations of robots and drones. Moving to Centrale Supelec 12:00 - 12:30 (30min) Moving to Centrale Supelec Moving from the INRIA building to Centrale Supelec (place for conference talks and lunches) Lunch 12:30 - 13:30 (1h) Lunch Centrale Supelec restaurant Robotics 14:00 - 15:30 (1h30) Robotics Centrale Supelec (room 151) › Inner and outer approximation of the workspace of a robotic arm - Maël GODARD, École Nationale Supérieure de Techniques Avancées, Lab-STICC 14:00-14:30 (30min) › 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 14:30-15:00 (30min) › Reliable SLAM in ambiguous environments - Simon Rohou, ENSTA, Lab-STICC, UMR CNRS 6285, Brest 15:00-15:30 (30min) Coffee break 15:30 - 16:00 (30min) Coffee break Centrale Supelec (room 151) Robotics 16:00 - 17:30 (1h30) Robotics Centrale Supelec (room 151) › A discrete Search and Rescue Problem under uncertain interval parameters - Joël Bougron, U2IS 16:00-16:30 (30min) › Towards Safe & Spare Robot Navigation: Self-Triggered Control on Invariant Sets - Florian Pouthier, LS2N 16:30-17:00 (30min) › ROS2 implementation of an optimal local path planner using Interval B-splines - Lucas Si Larbi, CEA, ENSTA 17:00-17:30 (30min)	Numerical methods 9:00 - 10:30 (1h30) Numerical methods Centrale Supelec (room 151) › Approximation of the inverse of a function near an extremum - Christophe Jermann, Laboratoire des Sciences du Numérique de Nantes 09:00-09:30 (30min) › A hybrid algorithm to solve Chebyshev approximation problem with interval certification - Valentin Guy-Deroubaix, Laboratoire des Sciences du Numérique de Nantes 09:30-10:00 (30min) › Matryoshka arithmetic - Arnaud Minondo, CNRS, LIX 10:00-10:30 (30min) Coffee break 10:30 - 11:00 (30min) Coffee break Centrale Supelec (room 151) Numerical methods 11:00 - 12:30 (1h30) Numerical methods Centrale Supelec (room 151) › 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 11:00-11:30 (30min) › A Study on Linear Regression of Interval-valued Data - Spyridon Siouras, University of Ioannina - Stavros Adam, University of Ioannina 11:30-12:00 (30min) › Interval Integration of Triangular Systems - Luc Jaulin, Lab-STICC 12:00-12:30 (30min) Lunch 12:30 - 13:30 (1h) Lunch Centrale Supelec restaurant Visit of Rennes 16:30 - 18:30 (2h) 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"). Dinner 19:00 - 22:00 (3h) Dinner Crêperie La Rozell, 14 rue de Penhoet (city centre)	Estimation 9:00 - 10:30 (1h30) Estimation Centrale Supelec (room 151) › The Theorem of Ehlich and Zeller to Develop Polytopic Models for Set-Based Observers - Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg 09:00-09:30 (30min) › Polytope-Based Interval State Estimation for an Electrochemical Model of a Lithium-Ion Battery - Wissam KHENNOUNE, CNAM Paris 09:30-10:00 (30min) › Assessment of the Accuracy of Interval Observers by a Zonotopic Approach - Andreas Rauh, Carl-von-Ossietzky Universität, Oldenburg 10:00-10:30 (30min) Coffee break 10:30 - 11:00 (30min) Coffee break Centrale Supelec (room 151) Robotics 11:00 - 12:10 (1h10) Robotics Centrale Supelec (room 151) › Parking Spot Tracking using Interval Methods - Fabrice Le Bars, École Nationale Supérieure de Techniques Avancées 11:00-11:30 (30min) › Ultra-wideband Sensor Based Robust Model Predictive Control - Théo Le Terrier, Univ Rennes, CNRS, Inria, IRISA 11:30-12:00 (30min) Closing 12:10 - 12:30 (20min) Closing Centrale Supelec (room 151) Lunch 12:30 - 13:30 (1h) Lunch Centrale Supelec restaurant Assistive robotics bootcamp visit 14:00 - 16:00 (2h) Assistive robotics bootcamp visit Visit of the RAINBOW assistive robotics bootcamp, with robots (wheelchairs, exoskeleton) and experiments.

Privacy | Accessibility