Two DinAmicI are among the organizers of the workshop Computer-verified proofs: 48 hours in Rome, to be held at the Department of Mathematics of University of Rome Tor Vergata on 24-26 January 2024.
Website: https://www.mat.uniroma2.it/butterley/formalisation/
The workshop concerns interactive proof assistants, programs that allow one to write and verify mathematical proofs. As such, the focus is on the Lean 4 language and its mathematical library.
For those who want an overview, several talks will be presented on major aspects of this emerging field.
The conference “Women in Dynamical Systems and Ergodic Theory” will take place at Centro di Ricerca Matematica “Ennio De Giorgi”, Pisa (Italy) on May 20-24, 2024. The event is organized by Ayreena Bakhtawar, Carlo Carminati, and Tanja Schindler.
The purpose of the event is to promote women and gender minorities working on Dynamical Systems and Ergodic Theory: the speakers will consist of women and non-binary people whereas all genders are welcome to attend the conference.
The Institute Henri Poincaré in Paris will host the trimester program “Group actions and rigidity: around the Zimmer program” from April 15th to July 5th, 2024.
More information and registration for both the program and individual workshops is open at https://indico.math.cnrs.fr/event/9043/
Registration is free but mandatory. The deadline to apply for financial support is November 1st, 2023. We encourage workshop participants to also register for the trimester program.
As well as minicourses throughout the trimester, there will be the following conferences and activities:
The next edition of the biennial DInAmicI Day, DAI Day V, will take place on December 18, 2023 in Bologna. The location will be Aula dei Poeti, Strada Maggiore 45.
There will be seminars by Giovanni Canestrari, Irene De Blasi, Davide Ravotti, Matteo Tabaro. The general assembly of the DinAmicI community and of the UMI Group DinAmicI will also take place.
The event is organized by Anna Miriam Benini, Mirko Degli Esposti, Simone Paleari.
Cari membri del gruppo UMI “DinAmicI”,
il 30 settembre prossimo scadranno i primi tre anni di attività del nostro gruppo. In base alla decisione presa nell’assemblea dello scorso dicembre, all’inizio di quest’anno abbiamo chiesto e ottenuto il rinnovo del gruppo per altri tre anni che inizieranno l’1 ottobre prossimo.
Con l’inizio del nuovo triennio si devono tenere le elezioni per il rinnovo delle cariche: il responsabile e 4 membri della giunta.
We are happy to announce the workshop “Renormalization and Friends” which will take place at the Fields Institute on August 21-25, 2023. This is the inaugural workshop in the “Nonlinear days” series, co-organized by the new Nonlinear Center at the University of Toronto Mississauga, which will be the focal point of the activities in Dynamical Systems at the University of Toronto.
The workshop’s web page is http://www.fields.utoronto.ca/activities/23-24/nonlinear-cnam
A limited amount of funding is available for prospective participants, an application form is found on the workshop web page.
We are happy to announce the workshop Regular and Stochastic Behaviour in Dynamical Systems which will be held in June 5-9, 2023 at Centro “De Giorgi”, Pisa.
All the information can be found on the workshop website. Registrations are open until mid April.
The organizers.
We are happy to announce the VII International Conference on Finite Dimensional Integrable Systems in Geometry and Mathematical Physics which will be held in August 7-11, 2023 at Antwerp University in Belgium.
More information can be found on the official website.
Some financial support is available for junior participants. The application deadline for this is April 16th.
The GADeS Award 2023 will be awarded to the author of the best PhD thesis on topics of Dynamics and Stability. All those who have obtained the title of PhD from an Italian University in the five calendar years preceding the year of the Award, i.e. not before 1 January 2018, can participate.
The deadline for submitting applications is April 15, 2023. You can find all the information on the GADeS page on the AIMETA website.
We are excited to announce a series of online lectures by Prof. Vadim Kaloshin from IST Austria on the topic of Integrability and rigidity for convex billiard.
If you are interested in attending the lecture, please fill out the application form by February 28th: https://forms.gle/FburDqo2fQ8NxN8A9. Once you have completed the application, we will email you the Zoom address to join the lectures.
Event Details
Date and Time:
3 pm-5 pm on March 7th (Tuesday) 3 pm-5 pm on March 8th (Wednesday) 3 pm-5 pm on March 10th (Friday) 3 pm-5 pm on March 13th (Monday) Timezone: Japan time
