Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași (UAIC), în colaborare cu Asociația Română de Lingvistică Computațională, organizează, sub egida UAIC, în perioada 17–19 septembrie 2025, cea de-a 9-a ediție a Working Formal Methods Symposium (FROM 2025).
Lucrările simpozionului vor avea loc în Sala Călin Ignat (C309), Facultatea de Informatică, Corp C, UAIC.
Simpozionul va reuni cercetători și practicieni din domeniul metodelor formale care sunt interesați de contribuții teoretice originale, noi metode, tehnici și cadre, precum și de instrumente software ce aplică aceste contribuții.
Keynote Speakers:
- Georgiana Caltais, University of Twente
- Jérôme Leroux, Laboratoire Bordelais de Cercetare în Informatică (LaBRI)
- Rupak Majumdar, Max Planck Institute for Software Systems & Automated Reasoning Group, Amazon Web Services
- Chin Wei Ngan, National University of Singapore
- Traian Florin Șerbănuță, University of Bucharest and Pi Squared Inc.
Tutorial Speaker: Alexandru Ipatiov, Continental Automotive Romania SRL
Programul evenimentului și detalii suplimentare sunt publicate pe site-ul: https://fromsymposium.github.io/.