BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universitatea „Alexandru Ioan Cuza” din Iași - ECPv5.1.2.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Universitatea „Alexandru Ioan Cuza” din Iași
X-ORIGINAL-URL:https://www.uaic.ro
X-WR-CALDESC:Events for Universitatea „Alexandru Ioan Cuza” din Iași
BEGIN:VTIMEZONE
TZID:Europe/Bucharest
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250917
DTEND;VALUE=DATE:20250920
DTSTAMP:20260703T190102
CREATED:20250911T110302Z
LAST-MODIFIED:20250911T110818Z
UID:140156-1758067200-1758326399@www.uaic.ro
SUMMARY:A 9-a ediție a Working Formal Methods Symposium (FROM 2025)
DESCRIPTION: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). \nLucrările simpozionului vor avea loc în Sala Călin Ignat (C309)\, Facultatea de Informatică\, Corp C\, UAIC. \nSimpozionul 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. \nKeynote Speakers: \n\nGeorgiana Caltais\, University of Twente\nJérôme Leroux\, Laboratoire Bordelais de Cercetare în Informatică (LaBRI)\nRupak Majumdar\, Max Planck Institute for Software Systems & Automated Reasoning Group\, Amazon Web Services\nChin Wei Ngan\, National University of Singapore\nTraian Florin Șerbănuță\, University of Bucharest and Pi Squared Inc.\n\nTutorial Speaker:  Alexandru Ipatiov\, Continental Automotive Romania SRL \nProgramul evenimentului și detalii suplimentare sunt publicate pe site-ul: https://fromsymposium.github.io/. \n
URL:https://www.uaic.ro/event/a-9-a-editie-a-working-formal-methods-symposium-from-2025/
LOCATION:Facultatea de Informatică\, Str. General Berthelot\, Nr. 16 \, Iasi\, România
CATEGORIES:Simpozion Internațional
END:VEVENT
END:VCALENDAR