The TALOS Lab in AI4SSH is delighted to welcome Professor Petros Stefaneas, Coordinator of the Formal Methods Research Group (λ-ForM) at the National Technical University of Athens (NTUA), School of Applied Mathematics and Physical Sciences (ΣΕΜΦΕ, ΕΜΠ), together with Mr. Foivos Karounos, Head of Glossapi at GFOSS (ΕΕΛΛΑΚ).

 Date: Monday, 6 October 2025
 Time: 09:00 – 18:00 (EEST, UTC+3)
 Venue: TALOS Meeting Room, Building Γ, KEME/UCRC, Rethymno & Online via Zoom (link)

For more details, please see the event page on the TALOS website.

All are warmly welcome to attend!