Many colleagues and friends of Stefania Gnesi gathered during the 3rd World Congress on Formal Methods in Porto for a one-day colloquium in her honour. The presentations accompanied a Festschrift (published by Springer as volume 11865 of the Lecture Notes in Computer Science series) with 32 contributions by collaborators and colleagues of Stefania Gnesi to celebrate her 65th birthday. The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back:


    Software Engineering
    Formal Methods and Tools
    Requirements Engineering
    Natural Language Processing
    Software Product Lines
    Formal Verification