foselab

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

Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog etaps.org/blog/027-felie…

Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: etaps.org/awards/doctora… *provided they completed their degree at an eligible institution and submitted in 2024

Title: Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach Authors: Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay Accepted for publication in IEEE Transactions on Software Engineering (TSE)

We proudly announce the 37th International Conference on Testing Software and Systems in the beautiful city of Limassol, Cyprus, starting on 17 to 19 September 2025. youtu.be/JvtWjtSrXEo @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos #ICTSS2025 #testing #softwaretesting

ICSA 2025 Call for Papers! "Architecting for the Next Generation of Intelligent Systems" Abstracts due: Nov 8, 2024 Full papers due: Nov 15, 2024 Submit your work and shape the future of software architecture! More info: conf.researchr.org/track/icsa-202… #ICSA2025 #CallForPapers #WeareICSA

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

🚀 The 13th track on Software Architecture (SA-TTA) at the 40th ACM/SIGAPP SAC 2025 🌍 calls for high-quality contributions! ✨ 📅 Important Dates: 📝 Submission: Sept 20, 2024 📢 Notification: Oct 30, 2024 More at satta.polimi.it/2025/ Don’t miss out! #SoftwareArchitecture

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 #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

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

ESOP round 2 Submission deadline October 10, 2024, 23:59 AoE ACAS, FoSSaCS, FASE Submission deadline October 10, 2024, 23:59 AoE Do not forget to submit your best work to ETAPS 2025! @ETAPSconf

Presented at @splcconf our work that solves with MDDs some problems difficult to solve with existing techniques like BDDs. @AndreaBombarda @UniBergamo @foselab

Manuel Núñez, Universidad Complutense de Madrid, giving the first lecture on Metamorphic testing of maps at the Tarot SUMMER school that just started

Our work has been presented today at #ABZ2024! @angelogargantin @bombandrea94

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

Our paper "A journey with #ASMETA from #requirements to #code: application to an #automotive system with adaptive features" is available online rdcu.be/dIhCX Paolo Arcaini, @angelogargantin, Elvinia Riccobene, @pscand @SpringerNature @UniBergamo @ABZ_Conference

Congratulations to all authors of accepted papers! We accepted 29 papers: 9 full papers, 12 short papers, 2 papers in the PhD symposium and 5+1 case study papers to be presented at #ABZ2024 See you soon in Bergamo! The program is now available at: abz-conf.org/site/2024/prog…