10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory

June 14th, 15th and 16th 2017.

This year, the 10th edition of SWIM and the 3rd edition of SMART will be held together at Manchester. In this way Manchester becomes a hub for both research communities.

About SWIM

The goal of SWIM 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 previous editions of SWIM were held in

  • Lyon, France in 2016
  • Prague, Czech Republic in 2015
  • Uppsala, Sweden in 2014
  • Brest, France in 2013
  • Oldenburg, Germany in 2012
  • Bourges, France in 2011
  • Nantes, France in 2010
  • Lausanne, France in 2009
  • Montpellier, France in 2008

The workshop 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 techniques and applications.


Set-membership techniques and related interval methods are computational methods that can perform, in a natural way, nonlinear computations with sets of real numbers. They are at the core of guaranteed system solving methods that can prove the existence of a solution and, if the latter is not unique, compute the set of all solutions while taking into account all sources of uncertainty. These methods have direct applicability to a broad range of scientific areas from engineering, to financial and medical domains. The goal of SMART is to bring ‌‌together researchers working on set-membership techniques and related interval analysis methods, and interested in both fundamental and applied research. 

‌The SMART symposium was initiated by the Aerospace Research Institute from the University of Manchester, UK together with French MEA working group on Set Computation and Interval Techniques of the French research group on Automatic Control GDR MACS.


Topics include, but are not limited to:

          • Constraint programming and global optimisation

         • Computer aided proofs

         • Verification

         • Mathematics

         • Robotics and autonomous systems

         • Control

         • System identification

         • Estimation

         • Fault diagnosis and fault tolerant control

         • Stability analysis

         • Reachability

         • Data analysis

         • Implementation


Symposium Venue:

The University of Manchester, Faculty of Science and Engineering, room C53, Sackville Street Building, Manchester, M13 9PL, UK.


The attendance and participation in the workshop are FREE. However, it is required for you to register by sending an email to swim-smart-2017@manchester.ac.uk using the prefix "REGISTRATION - Name " in the subject of the email.

Abstract submission

If you would like to participate at SWIM-SMART 2017, please send us your abstract. The abstract should not be longer than 4 pages (2 pages are ideal). We kindly ask you to use the LaTeX template that can be found here.

To send an abstract, use the workshop email swim-smart-2017@manchester.ac.uk

All presentations and slides need to be in English; the presentation slides will be made with your kind permission available online after the workshop.

Deadline for abstract is 8th of May 2017.

Due to public demand, the deadline for abstract has been extended to May 26. 

SWIM-SMART 2017 Proceedings and Special Issue

Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance. Authors of accepted papers, or at least one of them, are requested to register and present their work at the workshop, otherwise their papers will be removed from the digital library after the symposium.

A special issue devoted to full papers of talks presented at SWIM-SMART 2017 will be released on Set-Membership Techniques and Their Applications in Transactions of the Institute of Measurements and Control (TIMC). After SWIM-SMART 2017, authors of the best papers presented will be invited to extend and re-submit their work to be considered for inclusion in the aforementioned special issue. 

Information about submission, format and other matters will be available soon in this section.

Organisation and Contact

SWIM-SMART 2017 is organized by 

Prof Luc Jaulin, ENSTA Bretagne, France 

Prof Nacim Ramdani, Université d'Orléans, France 

Dr Alexandru Stancu, The University of Manchester, UK

Prof Constantinos Soutis, The University of Manchester, UK

Dr Zhengtao Ding, The University of Manchester, UK

Dr Adam Joesbury, The University of Manchester, UK

Dr Salvador Pacheco-Gutierrez, The University of Manchester, UK

Dr Mohamed Mustafa, The University of Manchester, UK

Mrs Claire Taylor, The University of Manchester, UK


SWIM-SMART 2017 is hosted by The University of Manchester, UK.

▲ Up to the top