Patrizia Scandurra

⏰ Last 2 Days to Go 🔔Submit by Dec 20, 2024!🚀 #CFP 9th International #Workshop on #Formal Approaches for Advanced Computing Systems #FAACS 2025 co-located with #icsa2025 @ICSAconf visit conf.researchr.org/info/icsa-2025… #formalmethods #softwarearchitecture #architecture #design

⏰ Last 2 Days to Go 🔔 Submit by Dec 20, 2024! 🚀 #CFP 1st International Workshop on #NLP for #Software #architecture #NLP4SA, co-located #icsa2025 @ICSAconf Visit lnkd.in/dfUC7yk7 for details #NLP4SA2025 #SoftwareArchitecture #NLP #research #workshop

⏰ Last 2 Days to Go 🔔Submit by Dec 20, 2024!🚀 #CFP 9th International #Workshop on #Formal Approaches for Advanced Computing Systems #FAACS 2025 co-located with #icsa2025 @ICSAconf visit conf.researchr.org/info/icsa-2025… #formalmethods #softwarearchitecture #architecture #design

Deadline alert: Do you have new software architecture research visions and ideas that can challenge the status quo of the software architecture discipline (research and practice)? Three days until the deadline (20th Dec) for the New and Emerging Ideas (NEMI) track at ICSA 2025

On behalf of all women in the SA community, we honor Bara with this photo from #ecsa2019. We'll never forget her charm and determination in inspiring and encouraging women to pursue Comput Science. She remains a role model for us all. @ICSAconf @ECSACONF

It is with profound sadness that we share the passing of our dear colleague Barbora Buhnova. Bara’s dedication and contributions left a lasting impact. You will be deeply missed and forever remembered, Bara. Our thoughts are with her loved ones. 🕊️ – ICSA Steering Committee

CFP: New and Emerging Ideas (NEMI) track at ICSA'25 conf.researchr.org/track/icsa-202… The NEMI track provides a forum for innovative, thought-provoking insights in software architecture to enhance community awareness of promising developments in industry & academia. Deadline: 20.12.2024

Please, do not miss to submit your paper to the SI on “Software Architecture for Trustworthy Software” @JSSoftware. Deadline: January 31, 2025.   This is an OPEN CALL.   More information: sciencedirect.com/journal/journa…

Presenting our tool Asmeta asmeta.github.io at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon

No better way to end the second day than jazz music and awards 🏆 See you tomorrow for the main conference kick-off ➡️ easychair.org/smart-program/…

I've enjoyed to serve as Program co-chair of @ECSACONF 2024 in Luxembourg. Many thanks to @Elena___Navarro, Elisa, @pscand, Matthias and all the OC members for the amazing job. See you all next year.

The ECSA Panel “Software Architecture for Trustworthy Software” is happening now with Anton Jansen, @RaffaelaMirand2, Steffen Becker, Barbora Buhnova, and Remco de Boer. Don’t miss it! #ECSA2024 #ECSA24

The #ECSA2024 conference has come to an end with the Closing Session. Thank you all for participating and making this event a success! See you next year in Cyprus! 👋✨

All good things come to an end and so @ECSACONF 2024 is over. Many thanks to @Elena___Navarro, Elisa, @pscand and Matthias for an amazing job. See you all next year in beautiful Cyprus

A huge thank you to all the speakers, participants, and organizers of the Rodin and IVOIRE workshops! Your contributions made the workshop day a success! Without you, it wouldn't have been possible! #ABZ #ABZ2024 #FormalMethods #Workshop #Bergamo #IVOIRE #Rodin

One day left for @ABZ_Conference #ABZ2024 June, 25th: Workshops and welcome reception from 19:00 to 21:00 with food and drinks! 🍹 June, 26th - 28th: Main Conference and other social events Bergamo Città Alta is waiting for you! @UniBergamo @foselab @pscand

#ABZ2024: 1 Week to GO! Get ready to immerse yourself in the fascinating realm of #Rigorous #StateBased Methods! #ABZ2024 is just 7 days away, and we're thrilled to offer interactive workshops, engaging talks, and networking opportunities! See you at #ABZ2024!!! @UniBergamo

@ABZ_Conference local organization team at work checking the roll up. @foselab @SilviaBG_IT @bombandrea94 @pscand #ABZ2024

Meet Patrizia Scandurra (@pscand), the ABZ Local Chair! She's an Associate Professor at the University of Bergamo where she focuses on software architecture and formal methods, especially for ASMs. She's one of the main developers of the formal method toolset ASMETA