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:<div>\n  <p>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.</p>\n</div><div>\n  <p>Submissions 
 on the general topic of theoretical computer scien
 ce, formal methods and applications are solicited.
  We expect submissions of regular papers of maximu
 m fifteen (15) pages, formatted according to the E
 PTCS macro package. The paper must represent origi
 nal work and should not be submitted to another co
 nference at the same time. Regular contributions s
 hould be preceded by the submission of a a short a
 bstract.</p>\n</div>
URL:http://from2019.projects.uvt.ro
END:VEVENT
END:VCALENDAR