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/2015/newsitem/6104/25- 27-February-2015-Young-Researchers-Conference-Fron tiers-of-Formal-Methods-Aachen-Germany DTSTAMP:20141207T000000 SUMMARY:Young Researchers' Conference "Frontiers o f Formal Methods", Aachen, Germany DTSTART;VALUE=DATE:20150225 DTEND;VALUE=DATE:20150227 LOCATION:Aachen, Germany DESCRIPTION:This conference is a forum of young re searchers (typically PhD students) for exchanging current research results and broadening their acad emic network. The scope of the conference ranges o ver formal and algorithmic methods in computer sci ence, in a broad sense. The conference consists of invited lectures by Moshe Vardi (Houston), Jean -Francois Raskin (Brussels), Joel Ouaknine (Oxford ), Bernd Finkbeiner (Saarbrücken), Azadeh Farzan ( Toronto), and Eric Bodden (Darmstadt), and short p resentations (talks of 12 minutes duration). For more information, see http://ffm2015.rwth-aachen. de/ Submissions are welcome via the submission pa ge for short presentations given by young research ers (up to two years after completion of PhD), wit h an abstract of 2-5 pages written by a single aut hor. The results may have been accepted or even pu blished elsewhere. Each author is free to submit h is/her ~best result~ (possibly obtained jointly wi th others). Multiple submissions by one author are not permitted. The language of the conference is English. Deadline for submission of abstracts: Dec ember 31, 2014. X-ALT-DESC;FMTTYPE=text/html:
\n This conference is a forum of young research ers (typically PhD students) for exchanging curren t research results and broadening their academic n etwork.\n\nThe scope of the conference ranges over formal and algorithmic methods in computer scienc e, in a broad sense. \n
\nThe co nference consists of invited lectures by Moshe Var di\n (Houston), Jean-Francois Raskin (Brussel s), Joel Ouaknine\n (Oxford), Bernd Finkbeine r (Saarbrücken), Azadeh Farzan\n (Toronto), a nd Eric Bodden (Darmstadt), and short presentation s\n (talks of 12 minutes duration).\n p>\n \n \n
For more information, s ee\n http://ffm2015.rwth-aachen.de/< /a>\n
Submissions a re welcome via the submission page for short prese ntations given by young researchers (up to two yea rs after completion of PhD), with an abstract of 2 -5 pages written by a single author. The results m ay have been accepted or even published elsewhere. Each author is free to submit his/her ~best resul t~ (possibly obtained jointly with others). Multip le submissions by one author are not permitted. Th e language of the conference is English. Deadline for submission of abstracts: December 31, 2014.\n
\n