"Computer-aided proofs in analysis"

IPA 2012: Intervals, Pavings and Applications,

15-17 October 2012,
Matematiska institutionen, Uppsala Universitet, Uppsala, Sweden

Angstrom Laboratory

This URL for IPA 2012 is Evolving (it will move to CAPA domain)

About IPA 2012

The goal of IPA 2012 is to bring together researchers working on intervals, pavings and their applications, for sharing and exchanging the state-of-the-art techniques and ideas in this area toward the most promising new directions.

IPA 2012 aims to promote computational set-valued mathematics to solve problems in estimating, testing, controlling, planning, designing and verifying among others. Talks will be given by participants with plenty of time to interact informally.


Invited participants will give workshops and talks on their areas of expertise. There will be plenty of time for informal interactions to facilitate cross-fertilization of ideas.

The research interactions will include the following sub-fields of interval analysis: affine arithmetic, constraint propagation, contractor programming, differential equations, dynamical systems, enclosure information structures, global optimization, parameter estimation, partial differential equations, polynomial arithmetic, randomized enclosure algorithms, semi-definite programming, state estimation, Taylor models, etc.


The workshop will be held in Ångström Laboratory.

View Larger Map

About Uppsala – the university city

Uppsala is Sweden's fourth largest city with a population of 190 000 inhabitants. Unique cultural treasures and an exciting history are to be found in the city of knowledge and inspiration. Uppsala has retained its small-town charm while offering a big city's selection of shops, restaurants and other entertainment.

Uppsala has many historical attractions. Among the most famous are:
• Uppsala cathedral, the largest cathedral in Scandinavia.
• One of Sweden's eldest botanical gardens
• A unique anatomical theatre built in the 1600’s
• The Linnaeus Garden
Uppsala Castle from the mid-1500's

However, Uppsala is not only known for its traditions. Today Uppsala is a dynamic industrial and commercial city where knowledge, ideas and entrepreneurship are at the centre. The city's geographical location with only 30 minutes to Stockholm-Arlanda international airport and 40 minutes to Stockholm has made Uppsala an attractive place for meetings.

Other useful links
Visit Sweden! Swedish Tourist Board
Destination Sweden. Lonelyplanet.com
Uppland, the province
The Municipality of Uppsala
Uppsala University
SLU, Swedish University of Agricultural Sciences
Stockholm-Uppsala Life Science Region


Travel support will be provided for invited participants from European Union or nearer destinations. Uppsala is located 40 minutes north of Stockholm. Uppsala can easily be reached from the four airports in the area.


The invitation includes modest accommodation, lunch, tea/coffee and one conference dinner.

Organization and Contact

The IPA 2012 workshop is organized by Luc Jaulin, Raazesh Sainudiin, and Warwick Tucker. To contact the organizers regarding IPA 2012 please send an email to r.sainudiin@math.canterbury.ac.nz or raazesh.sainudiin@googlemail.com.

IPA 2012 is hosted by the Computer-aided proofs in analysis (CAPA) group which is funded by:

Uppsala Universitet    University of Bergen    The Royal Swedish Academy of Science    Swedish Research Council    Bergens forskningsstiftelse