Italians and Brazilians in ICSE 2024 coffee-break, with Raffaela Mirandela, Livia Lestingi, Rodrigo Zacarias, Antonia Bertolino and paola Inverardi ☕️

📢📢 Thanks to all who have submitted abstracts to #FM2024 ; we have just reached a record number of submissions: over 200! 🎉

✅ Congratulations to Alberto Tagliaferro, Livia Lestingi, and Matteo Rossi for their accepted paper 'Towards Verifiable Multi-Agent Interaction Pattern Specification' at FormaliSE 2024! 🥳
👉 More information about the event: formalise2024.github.io/organization.h…

🤗🚀 Submission to FAACS 2024 (co-located with ICSA 2024) is OPEN! 🎤 Great opportunity for new PhD students to showcase their work!
🗓️ Deadline: February 18, 2024
⚠️ Notification: March 17, 2024
🇮🇳 Event: June 4-5, 2024 @ Hyderabad, India
Details below 👇

📢📢 Spread the word!

🎉 Thrilled to announce that I'll be co-chairing the FAACS 2024 workshop at #ICSA2024 with Nadeem Abbas and Patrizia Scandurra!
More news is coming soon regarding submission deadlines 🎯📢
DeepSE @ Politecnico di Milano

A pleasure to chair the ECSA2023 Industry Program ECSA 2024, and present the paper 'Architecting Explainable Service Robots' co-authored with some colleagues of Polimi Matteo Camilli Livia Lestingi DeepSE @ Politecnico di Milano Delighited by the Istanbul town and Turkish tea! foselab

#OnlineFirst
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani & Matteo Rossi
doi.org/10.1007/s10270…

📸 Check out the photos from the ICSE 2023 SCORE software engineering team competition! 🥇 MSc students from Raffaela Mirandola's Distributed Software Development course got 1st place - winning an all-@Polimi four-way finals! 🥳 Congratulations!
More info 👇

📢📖 Happy to share our latest work expanding on a line of research that I find wildly interesting: human behavior modeling, specifically erroneous behavior patterns.
3 M.Sc. students laid the foundations for the work: kudos to them for the achievement! 🎉🎉

🛰️ Stealing photos from space! 🥇 Congrats to the mhackeroni 🇮🇹 team, including our Luca De Martini, for winning in the Hack-A-Sat finals at DEF CON in Las Vegas!
👉 Read more: open.online/2023/08/16/gru…

It's official! 🎉🇮🇹
Looking forward to seeing you all in Milan! Politecnico di Milano DeepSE @ Politecnico di Milano Formal Methods Europe

📢📢 SEAMS 2024 will take place on April 15-16 in Lisbon, Portugal!
conf.researchr.org/home/seams-2024

SEAMS 2024 will use two submission rounds for the Research Track, with deadlines in October 2023 and December 2023, as detailed in the call for papers:
conf.researchr.org/track/seams-20…

Celebration drinks after successfully defending my Ph.D. thesis yesterday 🎉🎓
So many people to thank, but let me acknowledge Prof. Camara, Prof. Menghi, and Prof. San Pietro for making my dissertation a positive, empowering experience 🙏
#phdone Politecnico di Milano DeepSE @ Politecnico di Milano

Uplifting experience last week attending ICSE and traveling to Australia for the first time 🐨
It was great to present our work on explainable human-machine teaming at FormaliSE with Raffaela Mirandola Matteo Camilli Marcello M. Bersani

Now, let's get this Ph.D. done 🎯🎓

😄 Nice to see some familiar #DeepSE faces during Paola Spoletini's keynote at FormaliSE! 📷 Amir Sharifloo, Claudio, Anna Bernasconi, Stefania Gnesi, Carlo Ghezzi
#FormaliSE23 #ICSE #ICSE 2023

It was a pleasure enjoying our social event with all these great researchers! #FormaliSE23 #ICSE23

FormaliSE23 has successfully concluded. We thank all participants, speakers, chairs and all persons who make this year's event great! #FormaliSE23 #ICSE23