foselab
@foselab
Followers
21
Following
36
Media
3
Statuses
59
RT @ETAPSconf: Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog. https:/….
0
4
0
RT @ETAPSconf: Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS docto….
0
6
0
RT @menghi_claudio: Title: Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach. Authors: Menghi, Claud….
0
1
0
RT @ICTSSConf: We proudly announce the 37th International Conference on Testing Software and Systems in the beautiful city of Limassol, Cyp….
0
2
0
RT @angelogargantin: Presenting our tool Asmeta at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT….
0
7
0
RT @matteocamilli: 🚀 The 13th track on Software Architecture (SA-TTA) at the 40th ACM/SIGAPP SAC 2025 🌍 calls for high-quality contribution….
0
4
0
RT @pscand: I've enjoyed to serve as Program co-chair of @ECSACONF 2024 in Luxembourg. Many thanks to @Elena___Navarro, Elisa, @pscand, Mat….
0
2
0
RT @PAvgeriou: All good things come to an end and so @ECSACONF 2024 is over. Many thanks to @Elena___Navarro, Elisa, @pscand and Matthias f….
0
5
0
RT @ECSACONF: The ECSA Panel “Software Architecture for Trustworthy Software” is happening now with Anton Jansen, @RaffaelaMirand2, Steffen….
0
5
0
RT @menghi_claudio: ESOP round 2.Submission deadline October 10, 2024, 23:59 AoE. ACAS, FoSSaCS, FASE.Submission deadline October 10, 2024,….
0
1
0
RT @angelogargantin: Presented at @splcconf our work that solves with MDDs some problems difficult to solve with existing techniques like B….
0
1
0
RT @TAROT2024: Manuel Núñez, Universidad Complutense de Madrid, giving the first lecture on Metamorphic testing of maps at the Tarot SUMMER….
0
3
0
0
1
0
RT @ABZ_Conference: One day left for @ABZ_Conference #ABZ2024.June, 25th: Workshops and welcome reception from 19:00 to 21:00 with food and….
0
3
0
RT @SilviaBG_IT: Our paper "A journey with #ASMETA from #requirements to #code: application to an #automotive system with adaptive features….
0
3
0
RT @ABZ_Conference: Congratulations to all authors of accepted papers! We accepted 29 papers: 9 full papers, 12 short papers, 2 papers in t….
0
6
0