Estimating Pi Using Monte Carlo Simulation in R by Andrea Gustafsen

The GDR IM (Research Group in Mathematical Computer Science) is launching a “Probabilities” year for 2023-2024. The objective is to illustrate the importance of probabilities in computer science and the wealth of contributions from the GDR in their development and potential applications.

In early 2024, a series of actions are planned to commence. These actions will begin with a thematic focus on the various aspects of probability in computer science for the 2024 edition of the Young Researchers School in Mathematical Computer Science. Additionally, working groups within the GDR are encouraged to promote discussions related to the use of probabilities during their thematic days. A dedicated conference is also in the works, along with a prospective report aimed at identifying the means necessary to enhance the French community's expertise in utilizing probabilities within mathematical computer science. Lastly, popularization actions are encouraged, and they will be featured on this page.

Different uses of probabilities

Below is a tentative list of topics in TCS where probabilities are used, primarily as models or resources, but also as new aspects to be modeled in formal methods.

  • Models for analysis, prediction and control. For instance
    • Markov chains
    • Probabilistic transition systems
    • Information theory, algorithmic information theory
    • Limit objects
    • Statistical physics
    • Probabilistic method
  • Computing resources
    • Algorithms
    • Communication
    • Cryptography
    • Distributed computing
  • Formal methods
    • Formal verification of the implementation of probabilistic algorithms
    • Probabilistic domain-specific programming languages
    • Data and knowledge management, uncertainty
    • Applications in biology and medicine
    • Diagnosis, decision making, risk estimation
    • Simulation, digital twin
    • Data analysis

Applications are obviously everywhere in computer science, including computer networks, privacy, social networks, simulation, and prediction, as well as other disciplines such as biology, medicine, and physics

Directly impacted working groups

Below are listed the directly impacted groups (with their name in french and a link to their webpage), categorized within the 3 main axis of the GDR. Nonetheless, all GTs can also contribute to this year if they wish to.

Committee and contact

Below are listed the members of the committee in charge of proposing and programming the events, contacting the concerned GTs, collecting data, and writing the report. The labs and the GTs they are affiliated with are indicated for completeness.

  • Nathalie Bertrand (IRISA): GTs Vérif, DAAL
  • Louis Esperet (GSCOP): GTs Graphes, ALEA, CoA
  • Wenjie Fang (LIGM): GT ALEA
  • Vincent Grosso (LHC): GT C2
  • Bruno Grenet (LJK): GTs Calcul formel, CoA, C2
  • Frédéric Magniez (IRIF): GTs CoA, IQ
  • Michele Pagani (LIP): GTs LHC, Scalp
  • Ovidiu Radulescu (LPHI): GT Bioss
  • Tatiana Starikovskaya (DIENS): GT CoA

Contact the committee via email.

Actions (to be updated)

The following will be updated along the year.

Popularization

Please send to magniez@irif.fr any popularization events related to this “Probabilities” year. This can be for example any activities in the context of the Fête de la science.

Young Researchers School in Mathematical Computer Science

The school École Jeune chercheu/r/se/s en Informatique Mathématique will be organized at Nantes in Spring 2024. More information soon.

From the GTs

All GTs are encouraged to prioritize talks related to this “Probabilities” year during their annual workshop, and to organize dedicated events if they wish to. Support from the GDR can eventually be provided depending on the action.

Conference

A conference is planned in Fall 2024 in Paris area.