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.
Jump to
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:
Engineering
- Verification
- Robust control
- Stability,
- State estimation
- Parameter identification
- Fault detection and diagnosis
Mathematics
- Rigorous solution methods for linear algebra
- Differential equations
- Optimisation
Artificial intelligence
- Machine learning
- Neural networks
Computing
- Model-checking tools
- Reliable software design
Applications
- Robotics
- Medical devices
- Complex natural systems
- Legal artificial intelligence
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).
Download abstracts
Progamme
Tuesday 04 June
| Time | Activity |
|---|---|
| 09:00 | Reception |
| 09:20 | Opening |
| 09:35 | Bartłomiej Kubica Fuzzy Systems and Neural Networks |
| 10:45 | Coffee |
| 11:15 | Nathalie Revol About 8-bit floating-point numbers for machine learning: the IEEE 3109 project |
| 11:50 | Pieter Collins An Overview of Interval Methods for Artificial Intelligence, Law and Taxation |
| 12:25 | Lunch |
| 13:45 | Andreas Rauh Interval Methods for the Identification of Initialization Functions of System Models with Delay |
| 14:20 | Marit Lahme Systematic Approach for Parameterizing TNL Interval Observers |
| 14:55 | Damien Esnault Estimating the success probability of a set event in a probabilistic world |
| 15:30 | Coffee |
| 16:00 | Julien Alexandre Dit Sandretto On Propagating Uncertainties for Estimation and Association using Validated Interval Simulation |
| 16:35 | Maël Godard Introducing Box Chains to simplify Reachability Analysis |
| 17:10 | Luc Jaulin Outer approximation of the occupancy set left by a mobile robot |
| 17:45 | Dinner |
Wednesday 05 June
| Time | Activity |
|---|---|
| 09:00 | Jan Bouwe van den Berg Computer Assisted Proofs in Dynamical Systems |
| 10:10 | Lucas Si Larbi Optimal Path Planner over Receding Horizon using Interval Analysis |
| 10:45 | Coffee |
| 11:15 | Joris Tillet Interval Methods applied to Signal Temporal Logic – Overview and Extension on Tubes |
| 11:50 | Damien Massé Guaranteed integration on Lie groups |
| 12:25 | Norbert Müller Exact Real Arithmetic and the Efficiency of Taylor Models |
| 13:00 | Lunch |
| 16:30 | Social event Guided Tour of the North Caves. Meet at the Maastricht Underground Ticket Shop (Fort St. Pieter, Luikerweg 80, Maastricht) |
| 18:00 | Dinner |
Thursday 06 June
| Time | Activity |
|---|---|
| 09:00 | Nuwan Herath Mudiyanselage Reinforced Set Projection Algorithm |
| 09:35 | Margarita Korovina Solving non-linear constraints in CDCL-style |
| 10:10 | Simon Rohou An aymptotic minimal contractor for non-linear equations using the Codac library |
| 10:45 | Coffee |
| 11:15 | Quentin Brateau Dimensioning a torpedo-like AUV using interval analysis |
| 11:50 | Vincent Drevelle Ultra-Wideband based Smart Wheelchair Localization using Interval Analysis |
| 12: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