Patrizia Scandurra retweeted
⏰ 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…
#formalmethods #softwarearchitecture
#architecture #design
Patrizia Scandurra retweeted
⏰ 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
Patrizia Scandurra retweeted
⏰ 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…
#formalmethods #softwarearchitecture
#architecture #design
Patrizia Scandurra retweeted
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
Patrizia Scandurra retweeted
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
Patrizia Scandurra retweeted
CFP: New and Emerging Ideas (NEMI) track at ICSA'25
conf.researchr.org/track/ics…
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
Patrizia Scandurra retweeted
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/jo…
Patrizia Scandurra retweeted
Presenting our tool Asmeta asmeta.github.io/ at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon
Patrizia Scandurra retweeted
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.
Patrizia Scandurra retweeted
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
Patrizia Scandurra retweeted
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 – at Niederanven, Luxembourg
Patrizia Scandurra retweeted
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
Patrizia Scandurra retweeted
#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
Patrizia Scandurra retweeted
Replying to @ABZ_Conference
@ABZ_Conference local organization team at work checking the roll up. @foselab @SilviaBG_IT @bombandrea94 @pscand #ABZ2024
Patrizia Scandurra retweeted
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
























