To be held at the Institut de Matematiques de la Universitat de Barcelona from June 3 to 7, 2008, both included.
Below we present the contents of an Advanced Course mainly devoted to the Ph.D. students at the Facultat de Matemàtiques of the Universitat de Barcelona, and specially with interest in Dynamical Systems and related topics, but also with a wide applicability to other domains where similar techniques can be used.
The course is open to Ph.D. students, post-doctoral and senior researchers interested on these topics, aiming at an introduction to the key ideas and methodology or looking for fully detailed, complete and efficient implementations.
Effective computations done with computer have to take into account the effect of errors, unless they deal only with natural or rational numbers. One can think about problems in Computational Algebra, Computational Geometry, Symbolic Manipulation, Singularity Theory, Bifurcation Theory, Optimization, etc. Many of these aspects find a good domain of applicability in scientific, technical and industrial applications.
Going back to Dynamical Systems and related topics (ODE, DAE, PDE, DDE), computations far away from perturbative regimes can typically be done only using numerical methods. The problem is then how to prove rigorously existence of relevant objects, how many objects exist, stability properties, etc. Using tools from topology, analysis and geometry like the theories of operators, singularities, normal forms, transversality, etc, one tries to reduce the problem to a finite number of numerical checks (e.g., inequalities, inclusions). They are carried out using implementations of interval arithmetics, with algorithms that allow to prevent from a too large increase in the size of the intervals along the computations.
Prof. Martin Berz is a world leader in that domain. He has produced many papers and given lectures at different world conferences. See http://bt.pa.msu.edu/berz for a detailed account. Furthermore his collaborator Prof. Kyoko Makino (see http://bt.pa.msu.edu/makino) will take care of technical details concerning examples and implementations. Other collaborators will also help with some concrete questions.
Scheme of the contents of the Advanced Course:
For each of the topics, one shall work out example problems for the participants and provide in depth examples of the use of the methods.
Also, it is planned to use the various aspects of topic number 5) and combine them with the four previous topics, so that they become examples for each of the methods and do not have to wait until the very end.
How to arrive
There will be a limited number of young researcher grants, to give some support for the stay. The concrete number and amount will depend on the availability of funds from different sources which have not yet been secured.
The persons asking for a grant should send a CV to the same address used to register, with the words "grant for CAP08" in the subject. They should ask for a support letter by a senior researcher, to be sent to the same address with subject "letter of support application of XXX" and including e-mail and phone of the supporter.
Participants in need of room for the stay should take care of this by themselves.The file residencies.html provides a list of suggestions. The most convenient place, concerning distance to the Institut de Matematiques de la Universitat de Barcelona is the Residencia d'Investigadors, located at the Carrer de l'Hospital, 64, at 10 minutes walking from IMUB. Several other residences are very well communicated by underground. Support
Last modified: May 22, 2008