Binaire donne la parole aux deux majors de la première agrégation d'informatique qui a eu lieu en 2022 : Pablo Espana Gutierrez et Solène Mirliaz lemonde.fr/blog/binaire/2… cc @chtruchet

Great achievement for #PapyGame, and now We are extending it with more #UML diagrams and new type of games. Stay tuned! MoDiS Unit at FBK Fondazione Bruno Kessler - FBK

📢 The registration for ICT 4 Sustainability'23 is open: conf.researchr.org/attending/ict4… The conference features both a research program (main conf, 7 workshops, doctoral symposium, demos, posters, keynotes, social events) and a OFF! Program (keynotes, debate, panel, quiz, art performance, hackathon)

Cette année, les journées nationales du GdrGPL se déroulent sur Rennes du 5 au 8 juin sur le campus de Beaulieu Université de Rennes, en coordination d’ICT4S avec 5 keynotes 🤩💯. Programme 👉 gdrgpl2023.sciencesconf.org/program🚀 Inscription👉gdrgpl2023.sciencesconf.org/resource/page/… #JNGdrGPL #SciencesDuLogiciel

Hey Modellers! Have you been able to check the Workshop webpage for the 2023 edition? We have 13 A-MA-ZING workshops that are waiting for your contributions to discuss, share and exchange ideas next October in Västerås! Deadline is 17/07, plenty of time! conf.researchr.org/track/models-2…

Happy to share our last publication about Object-Oriented Requirements : dx.doi.org/10.5381/jot.20…

Today's McsCert seminar McMaster Engineering is about people not buying products, but solution to their problems (speaker is Jean-Michel Bruel).

Some workshops deadlines are arriving!

Excellent thread ! Les procédures sont utiles pour gérer rapidement les cas standards. Essayer de tout formaliser est impossible et est une perte de temps. Comme souvent la règle des 80%-20% s’applique: il faut savoir gérer les 20% de cas non standards de manière agile…

Currently working on a large grant committee. I'm seriously wondering WTH is going on with our community.

Bidding for #ICSE2024 NIER papers, and feel like we probably need to rename it to ICSE2024 #LLMs track ICSE 😂

Mrunmayi Joshi, successfully defending her ISAE-SUPAERO international M.Sc. internship on #MDAO in our CoCoVaD. Congrats 👍

Models'23 Conference is one week away! You cannot miss twelve workshops, eight tutorials, three keynotes, presentations from world-renowned experts from industry and academia, and much more. Register (eur.cvent.me/Llgl5) for remote attendance at a special registration fee!

BTW, if you would like to start a Ph.D. in a promising industrial environment, the CoCoVaD with Airbus and SM@RT Research Team is hiring 2 Ph.Ds in that topic. PM me if interested.

Congrats!

The ICSE2025 Ottawa website is live (even though ICSE2024 in Lisbon is still ahead!). The Research Track deadline is in March, 2024. @ICSEConf conf.researchr.org/home/icse-2025

Interested in #Security #Requirements #Formalization? Check our last presentation, by Andrey Sadovykh, about our RQCODE approach (as part of the #veriDevOps workshop VI veridevops.eu/veridevops/eve…). youtu.be/RnUzZ2oIG2Q?si…

Proud to officially become a fellow of the Institut Universitaire de France #IUF at starting ceremony in the historic amphitheater of Sorbonne. Photo with my fellow laureates from Université de Rennes

This position is fully remote and can thus be in any European country. Please RT

The FSL IRIToulouse department (Reliability of Systems and Software) is having its general meeting.