foselab

[Patrizia Scandurra @pscand]

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

[ICSA 2025 @ICSAconf]

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

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog

https://t.co/yh9i5aPcIC

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: https://t.co/WOYqOw2ipv

*provided they completed their degree at an eligible institution and submitted in 2024

[Claudio @menghi_claudio]

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)

[ICTSS2025 @ICTSSConf]

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.

https://t.co/kq3TNYvYWU
@ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos
#ICTSS2025 #testing #softwaretesting

[ICSA 2025 @ICSAconf]

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: https://t.co/aJrJ0G1jea
#ICSA2025 #CallForPapers #WeareICSA

[Angelo Gargantini @angelogargantin]

Presenting our tool Asmeta https://t.co/rivvmPJjSF at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon

[Matteo Camilli @matteocamilli]

🚀 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 https://t.co/eghjQxLI6O

Don’t miss out! #SoftwareArchitecture

[Patrizia Scandurra @pscand]

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.

[ECSA 2024 @ECSACONF]

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! 👋✨

[Paris Avgeriou @PAvgeriou]

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

[ECSA 2024 @ECSACONF]

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

[Claudio @menghi_claudio]

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

[Angelo Gargantini @angelogargantin]

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

[TAROT Summer School @TAROT2024]

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

[Silvia Bonfanti @SilviaBG_IT]

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

[ABZ Conference @ABZ_Conference]

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

[Silvia Bonfanti @SilviaBG_IT]

Our paper "A journey with #ASMETA from #requirements to #code: application to an #automotive system with adaptive features" is available online https://t.co/ECnvTREfHM
Paolo Arcaini, @angelogargantin, Elvinia Riccobene, @pscand

@SpringerNature
@UniBergamo
@ABZ_Conference

[ABZ Conference @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: https://t.co/G1XLfmk68m