SM@RT Research Team

Smart Modeling for softw@re Research and Technology

[Jean-Michel Bruel @jmbruel]

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

[JM Jezequel @jmjezequel]

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

[JM Jezequel @jmjezequel]

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 @RennesUniv

[SM@RT Research Team @SmartModelTeam]

Interested in #Security #Requirements #Formalization? Check our last presentation, by @sadovykh, about our RQCODE approach (as part of the #veriDevOps workshop VI https://t.co/dZrxHScFck).
https://t.co/cof2KS1GSO

[Timothy Lethbridge @tcltcl]

The ICSE2025 Ottawa website is live (even though ICSE2024 in Lisbon is still ahead!). The Research Track deadline is in March, 2024. @ICSEConf https://t.co/eCOlZaqrwX

[SM@RT Research Team @SmartModelTeam]

Congrats!

[JM Jezequel @jmjezequel]

Just being elected President of @informatics_eu for 2024-2026. I hope I’ll be up to the task of serving the European Community of Informatics Research and Education.

[Jean-Michel Bruel @jmbruel]

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

[MODELS Conference @modelsconf]

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 (https://t.co/k8xqZBCyBz) for remote attendance at a special registration fee!

[SM@RT Research Team @SmartModelTeam]

Mrunmayi Joshi, successfully defending her @ISAE_officiel international https://t.co/CNzyP4wZwn. internship on #MDAO in our @CoCoVaD_Chair. Congrats 👍

[Xiao Liu @XiaoLiuDR]

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

[Sébastien Mosser @petitroll]

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

[JM Jezequel @jmjezequel]

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…

[MODELS Conference @modelsconf]

Some workshops deadlines are arriving!

[SM@RT Research Team @SmartModelTeam]

@CoCoVaD_Chair Goutham and Sanjay https://t.co/CNzyP4xxlV. students' Intermediary defense @supaero #systemsEngineering Master.

[Sébastien Mosser @petitroll]

Today's McsCert seminar @McMasterEng is about people not buying products, but solution to their problems (speaker is @jmbruel).

[Jean-Michel Bruel @jmbruel]

Happy to share our last publication about Object-Oriented Requirements :
https://t.co/uKp3adVa0L

[MODELS Conference @modelsconf]

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! https://t.co/WsXtHDHKzS

[Djamel Khelladi @dekhelladi]

Cette année, les journées nationales du @GdrGPL se déroulent sur Rennes du 5 au 8 juin sur le campus de Beaulieu @RennesUniv, en coordination d’ICT4S avec 5 keynotes 🤩💯.
Programme 👉 https://t.co/LAX2A2ViA8🚀
Inscription👉https://t.co/G0NbEznCbw
#JNGdrGPL #SciencesDuLogiciel

[Benoit Combemale @bcombemale]

📢 The registration for @ict4s'23 is open: https://t.co/jxWTomGo6n 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)

[Antonio Bucchiarone @antbucc]

Great achievement for #PapyGame, and now We are extending it with more #UML diagrams and new type of games. Stay tuned! @MODIS_Unit @FBK_research