### SWIM 2012: Small Workshop on Interval Methods, 4-6 June 2012, Carl von Ossietzky Universität Oldenburg, Germany

SWIM 2013 will take place at ENSTA Bretagne, Brest, France

The goal of SWIM 2012 is to bring together researchers and practitioners working on interval methods and their applications, in the broader sense, providing a forum to review and discuss the state-of-the-art in this area and fostering cross-fertilization between different approaches.

The SWIM 2012 workshop is intended to build on the success of previous editions, held in Montpellier in 2008, Lausanne in 2009, Nantes in 2010, and Bourges in 2011, which was initiated by the french MEA working group on Set Computation and Interval Techniques of the French research group on Automatic Control GDR MACS. The MEA group aims at promoting interval analysis, constraint propagation and other set methods to apply them in estimation, robotics, control, planning, design, verification, computer aided proof, and other engineering, computer science and applied mathematics areas.

During previous editions of SWIM, talks were given by speakers coming from several countries among which are Brazil, Canada, France, Germany, Poland, Spain, and Switzerland. The participants could discuss their most recent ideas and developments and thought together about the most promising new directions.

The presentation slides are published online and can be found in the workshop program below (just click on the title to unfold the abstract and view attached files).

### Call for Presentations and Participation

If you want to present a talk addressing the theory of interval-related methods or their application in any area, please send a one page abstract (with title, authors, and affiliation) to [---], no later than April 30th (extended deadline) May 7th, 2012.

If you simply plan to attend the workshop, please just send us an [email] with your name and affiliation, preferably before May 28th, 2012.

Alternatively, you can also use the [registration form] to submit your registration and an abstract.

### Monday, 2012-06-04

12:30 -- 13:00: Arrival & Registration

13:00 -- 13:15: Opening

Session: State Estimation

14:25 -- 15:00: Jun Xiong: Advances in Interval Kalman Filtering: theoretical aspects and examples

15:00 -- 15:15: Break

Session: The IBEX Library

15:15 -- 15:50: Gilles Chabert: IBEX 2.0, a constraint programming library over the reals

16:25 -- 16:40: Break

Session: Solving and Optimization

16:40 -- 17:15: Elke Just: Recent Progress in SONIC

19:00 -- 23:00: Workshop dinner

### Tuesday, 2012-06-05

Session: Stability Analysis and Control

09:00 -- 09:35: Luc Jaulin: An interval approach for stability analysis of nonlinear systems

10:10 -- 10:45: Max Demenkov: Real-time control allocation using zonotopes

10:45 -- 11:00: Break

Session: Computing with Interval Representations

12:10 -- 13:15: Lunch

Session: Geometric Reasoning

14:25 -- 14:40: Break

Session: Analyzing Parameter Dependencies and Disturbances

14:40 -- 15:15: Clément Aubry: Existence and uniqueness tests to solve image evaluation problem

15:15 -- 15:50: Evgenija D. Popova: Properties and Estimations of Parametric AE Solution Sets

15:50 -- 16:05: Break

Session: Constraint Solving Involving ODEs

16:05 -- 16:40: Andreas Eggers: Recent Improvements of iSAT-ODE

16:40 -- 17:15: Nacim Ramdani: On Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE

### Wednesday, 2012-06-06

Session: ODE Enclosures

09:00 -- 09:35: Tomáš Dzetkulič: Rigorous Computation with Function Enclosures in Chebyshev Basis

10:10 -- 10:25: Break

Session: Control and Optimization

12:10 -- 12:20: Closing

12:20 -- 13:30: Lunch

### Venue

The workshop will be held in room F02 of the OFFIS building, Escherweg 2, D-26121 Oldenburg.

### Travel Information

#### Getting to Oldenburg

From within central Europe, you can reach Oldenburg by train. In order to find your connection, use the website of DB (Search for train connections) and enter "Oldenburg(Oldb)" as your destination. Be careful not to accidentally travel to Oldenburg(Holst)! For most connections within Germany you can also directly buy a ticket online and print it out (it is then valid only in connection with an identification card, that you selected during purchase). This is also possible for some international connections, however, not for all of them. In Germany you can also buy tickets at automatic vending machines and counters in virtually every station.

The closest international airports are Bremen (BRE), Hamburg (HAM), and Hannover (HAJ). Once there, you can use the train to get to Oldenburg (Search for train connections, again using Oldenburg(Oldb) as destination) or a taxi (which can be very expensive!). If your flight is scheduled to arrive late at night or early in the morning, pay special attention to limited train services at those times.

The Bremen and Oldenburg area are covered by a transport association called "Verkehrsverbund Bremen Niedersachsen (VBN)". If you arrive at Bremen airport, you can hence buy a ticket that is valid for the tram in Bremen, regional trains (Regionalexpress (RE), Nordwestbahn (NWB), or Regio-S-Bahn (RS), but not on Intercity (IC) or IntercityExpress (ICE) trains), and the city buses in Oldenburg. The ticket is a "Preisstufe F" (7,70 EUR) and may have to be stamped ("entwertet") before use depending on where it is bought. Tickets bought directly from a vending machine on the tram in Bremen or from a bus driver in Oldenburg are already validated.

#### Getting around in Oldenburg

Unless you walk or rent a bicycle, using the city buses for getting around is probably the best option. OFFIS is located near bus stop "Industriestraße". Buses must be entered through the front door and tickets always be shown to the driver. You can also buy a ticket from the driver by naming the destination stop. From all bus stops within the city, a ticket of "Preisstufe 1" (2.25 EUR) is sufficient (from stops that are within the same zone as the destination, a "Kurzstrecke" ticket (1.75 EUR) is also enough). Please see the map of the bus network in Oldenburg, the FahrPlaner with a zoomable map and bus-stop overlay, or use the "Personal Time Table" (with detailed static maps in the result) in which you can directly enter e.g. the address of your hotel and the destination address, using "Oldenburg (Oldenbg)" as city in both fields.

#### Accomodation

We have not pre-booked any rooms but you will probably find good and inexpensive accomodation in one of the following hotels. If you use a hotel booking portal, again, please make sure to select Oldenburg in Niedersachsen (Lower Saxony), Oldenburg (Oldb) or similar.

If you have some spare time left, make sure to take a walk through the old town, taking a look at sights like Lamberti church, the castle, the old townhall, and the Schlossgarten. Stroll through some of the shops, get a hot chocolate in one of the nice cafés, and maybe pick a museum (from history to modern art) or a play, concert, or opera in the Staatstheater. On Wednesdays, Fridays, and Saturdays, the later the night, the more the city fills up with young people heading to bars and clubs. So if dancing the night away is part of your cultural experience, be there not too early...

### Organization and Contact

The SWIM 2012 workshop is organized by Andreas Eggers, Martin Fränzle, Luc Jaulin, and Nacim Ramdani. To contact all organizers at once, send an email to [---]. Please use the individual email addresses that can be found on the respective homepages to contact the organizers.

SWIM 2012 is hosted by the OFFIS Institute for Information Technology and is kindly supported by the transregional collaborative research center AVACS ("Automatic Verification and Analysis of Complex Systems") which is funded by the German Research Council DFG.