BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2019/newsitem/10827/3- --5-September-2019-Working-Formal-Methods-Symposiu m-2019-FROM-2019-Timisoara-Romania DTSTAMP:20190429T135502 SUMMARY:Working Formal Methods Symposium 2019 (FRO M 2019), Timisoara, Romania DTSTART;VALUE=DATE:20190903 DTEND;VALUE=DATE:20190905 LOCATION:Timisoara, Romania DESCRIPTION:FROM 2019 is the third event in a year ly workshop series. It aims to bring together rese archers and practitioners who work on formal metho ds by contributing new theoretical results, method s, techniques, and frameworks, and/or make the for mal methods to work by creating or using software tools that apply theoretical contributions. The pr ogram of the symposium will include invited lectur es and regular contributions. FROM 2019 will be he ld in conjunction with SYNASC 2019. Submissions o n the general topic of theoretical computer scienc e, formal methods and applications are solicited. We expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EP TCS macro package. The paper must represent origin al work and should not be submitted to another con ference at the same time. Regular contributions sh ould be preceded by the submission of a a short ab stract. X-ALT-DESC;FMTTYPE=text/html:
FROM 2019 is the third event in a yearly workshop series. I t aims to bring together researchers and practitio ners who work on formal methods by contributing ne w theoretical results, methods, techniques, and fr ameworks, and/or make the formal methods to work b y creating or using software tools that apply theo retical contributions. The program of the symposiu m will include invited lectures and regular contri butions. FROM 2019 will be held in conjunction wit h SYNASC 2019.
Submissions on the general topic of theoretical computer science , formal methods and applications are solicited. W e expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EPT CS macro package. The paper must represent origina l work and should not be submitted to another conf erence at the same time. Regular contributions sho uld be preceded by the submission of a a short abs tract.