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.
This thematic month proposes a walk along discrete mathematics and computation theory to explore both a range of mathematical objects (groups, symbolic dynamical systems, words, . . . ) and a range of notions from computer science (information, randomness, computability, complexity,. . . ) that share many strong links. To encourage participants (especially the youngest ones) to attend the entire month and foster interactions outside each one’s expertise zone, the first week will consist in a research school with in-depth introduction to the key objects and notions of the entire month.