SWIM 2024
The Summer Workshop on Interval Methods provides a platform for researchers working on or with interval methods and their applications.
We encourage all researchers to use the conference as a forum for lively discussion of current research and the latest techniques. Therefore, not only fully elaborated new results, but also reports on ongoing research activities and review papers summarizing previous work are welcome. Research applying interval methods to problems in artificial intelligence are particularly encouraged.
To ensure the visibility of our workshop, peer-reviewed full papers of accepted and presented abstracts will be collected and published after SWIM.
Sponsors
SWIM 2024 has been made possible by the financial support of the Stichting Wetenschappelijk Onderwijs Limburg (SWOL) through the Universiteitsfonds Limburg, and the Netherlands Research School for Information and Knowledge Systems (SIKS) and Platform Wiskunde Nederland (PWN).
Important info
Location
Faculty of Science and Engineering
Department of Advanced Computing Sciences
Paul-Henri Spaaklaan 1
6229 EN, Maastricht
The Netherlands
Deadlines
Submission deadline: 20 May 2024
Registration deadline: 24 May 2024
Fees
There is no registration fee. However, participants are expected to cover the costs of meals and the social programme themselves. Coffee breaks will covered by the organisation.
Language
English
Social programme
A social programme will be arranged for the afternoon of Wednesday 05 June
Scope and topics
SWIM aims at gathering researchers working on interval methods and related numerical approaches, from theoretical advances to applications. The goal is to review the state-of-the-art in the field. Topics include, but are not limited to:
Registration / abstract submission
Register for SWIM2024 and/or submit an abstract.
Submission requirements
- Registered participants may submit one or more abstracts in PDF format
- Include: Author(s) including presenting author, title, keywords, file, appropriate list of references
Submit an abstract (2-4 pages) prepared according to the templates:
Authors with accepted abstracts will be informed before 03 May about an expected publication of the proceedings of extended papers of SWIM 2024 (after the closing of SWIM 2024).
Progamme
-
Tuesday 04 June
Time Activity 09:00 Reception 09:20 Opening 09:35 Bartłomiej Kubica
Fuzzy Systems and Neural Networks10:45 Coffee 11:15 Nathalie Revol
About 8-bit floating-point numbers for machine learning: the IEEE 3109 project11:50 Pieter Collins 12:25 Lunch 13:45 Andreas Rauh
Interval Methods for the Identification of Initialization Functions of System Models with Delay14:20 Marit Lahme
Systematic Approach for Parameterizing TNL Interval Observers14:50 Damien Esnault
Estimating the success probability of a set event in a probabilistic world15:30 Coffee 16:00 Julien Alexandre Dit Sandretto
On Propagating Uncertainties for Estimation and Association using Validated Interval Simulation16:35 Maël Godard
Introducing Box Chains to simplify Reachability Analysis17:10 Luc Jaulin
Outer approximation of the occupancy set left by a mobile robot17:45 Dinner -
Wednesday 05 June
Time Activity 09:00 Jan Bouwe van den Berg
Computer Assisted Proofs in Dynamical Systems10:10 Lucas Si Larbi
Optimal Path Planner over Receding Horizon using Interval Analysis10:45 Coffee 11:15 Joris Tillet
Interval Methods applied to Signal Temporal Logic – Overview and Extension on Tubes11:50 Damien Massé
Guaranteed integration on Lie groups12:25 Norbert Müller
Exact Real Arithmetic and the Efficiency of Taylor Models13:00 Lunch 15:30 Social event 18:00 Dinner -
Thursday 06 June
Time Activity 09:00 Nuwan Herath Mudiyanselage
Reinforced Set Projection Algorithm09:35 Margarita Korovina
Solving non-linear constraints in CDCL-style10:10 Simon Rohou
An aymptotic minimal contractor for non-linear equations using the Codac library10:45 Coffee 11:15 Quentin Brateau
Dimensioning a torpedo-like AUV using interval analysis11:50 Théo Le Terrier
Ultra-Wideband based Smart Wheelchair Localization using Interval Analysis12:25 Closing
Organisation
SWIM 2024 is organised by Maastricht University's Department of Advanced Computing Sciences. The Department of Advanced Computing Sciences - sometimes abbreviated as DACS - is Maastricht University’s largest and oldest department broadly covering the fields of artificial intelligence, data science, computer science, mathematics and robotics.
Local organisation
Pieter Collins | Assistant Professor
pieter.collins@maastrichtuniversity.nl
Program committee
- Pieter Collins, Maastricht University (NL)
- Luc Jaulin, ENSTA-Bretagne (FR)
- Andreas Rauh, Carl von Ossietzky Universität Oldenburg (DE)
- Nathalie Revol: INRIA - ENS Lyon (FR)
Travel / Stay
By car
Maastricht is on the E25 highway.
By plane
Maastricht is easily accessibly from Eindhoven Airport. Other regional airports include Amsterdam, Brussels, Charleroi, Düsseldorf, Köln/Bonn and Weeze.
Local transportation
The public transport service in Maastricht and South Limburg is provided by Arriva. The workshop venue is next to bus stop 'Endepolsdomain' (Bus 10: Centre and Station), and a short walk from bus stops 'Forum MECC' and 'Station Randwyck' and the train station 'Maastricht Randwyck'.
Hotels
- NH hotel
- Van der Valk hotel
- Novotel
Address
Maastricht University
Faculty of Science and Engineering
Department of Advanced Computing Sciences
Paul-Henri Spaaklaan 1
6229 EN, Maastricht
The Netherlands
Also read
-
01 Oct 01 Jun
Circular Engineering | Student for a day
Wondering what it's like to study Circular Engineering? Become a student for a day!
-
01 Oct 01 Jun
University College Venlo | Student for a day
Wondering what it's like to study at University College Venlo? Become a student for a day!
-
11 Jun15:00 - 17:00
Foundation Programme | Live information session
Curious about the Foundation Programme and studying in Maastricht? Join Our live information session and get the info you need before our early application deadline.