The interface of mathematics with computer science form a large, diverse and rich landscape. Of course, many classical mathematical tools and concepts turn out to be very useful to answer questions arising from computer science. Besides, the core objects of computer science (typically discrete) that were once considered non-classical in mathematics have now a well-established and growing theory. In addition, the main ideas of computer science (the very notions of computation and algorithmic complexity) yield new points of views and new questions on many mathematical objects.

Scientific Machine Learning (SciML) is a relatively new research field based on both machine learning (ML) and scientific computing tools. Its aim is the development of new methods to solve several kinds of problems, which can be forward multidimensional partial differential equations, identification of parameters, or inverse problems. The methods we seek must be robust, reliable and interpretable. The new SciML tools allow the natural inclusion of data in the numerical simulation in order to generate new results.

The thematic month “Arithmetic and Information Theory” focuses on arithmetic geometry, information theory and their interplay.

The CEMRACS is a scientific event of the SMAI (the French Society of Applied and Industrial Mathematics). The concept was initiated in 1996 by Yvon Maday and Fr´ed´eric Coquel and takes place every year at CIRM in Luminy (Marseille, France) during 6 weeks from mid-July. The goal of this event is to bring together scientists from both the academic and industrial communities to work and discuss on focused topics. During the first week, a classical school is proposed. It consists of several lectures given by leading scientists and related to the topics of the research projects.

The thematic month Logic and Interations 2022 is an event proposed by the Logique de la Programmation group of the I2M, in relation with the LIS, the PPS group at IRIF, the logic group of Roma Tre university to enumerate the main partners. The goal is to establish the state of the art, train young researchers, open new research collaborations and trails in the domain of interactions between logic, philosophy and theoretical computer science, and more precisely between proof theory and formal methods.

This residential month is along the lines of former sessions organized at CIRM each February since 2001 by a group of Marseille researchers. In February 2020, the members of the Institute of Mathematics of Marseille involved in collaborations with biologists propose to gather researchers from around the world, at CIRM, around the theme of Mathematical Biology. The interplay between mathematics and biology has developed rapidly since the last decades of the 20th century, both in France and in all developed countries.