Greetings! In the context of our Maelstrom joint team (https://team.inria.fr/maelstrom/), we have the pleasure to welcome Xing Cai, chief research scientist/research professor and head of the Department of High Performance Computing at the Simula Research Laboratory in Oslo, Norway. He will tell us about some …

Greetings! I bring news of our next talk! I am happy to inform you that our next talk will be presented by Pablo Oliveira from the Versailles Saint-Quentin-en-Yvelines University (UVSQ). He will tell us all about Verificarlo. Feel free to join us on April 15 (Friday) at 11 am in …

Hi y’all! I am happy to inform you that we will have one extra extraordinary seminar this month. Emmanuelle, one of our team members, will tell us all about her framework for MPI verification tools. Feel free to join us on March 29 in the George Boole 2 room …