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:<div>\n      <p>\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      </p>\n      <p>The 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      <p>For more information, s
 ee\n        <a target="_blank" href="http://ffm201
 5.rwth-aachen.de/">http://ffm2015.rwth-aachen.de/<
 /a>\n      </p>\n    </div><div>\n      <p>Submiss
 ions are welcome via the submission page for short
  presentations given by young researchers (up to t
 wo years after completion of PhD), with an abstrac
 t of 2-5 pages written by a single author. The res
 ults may have been accepted or even published else
 where. Each author is free to submit his/her ~best
  result~ (possibly obtained jointly with others). 
 Multiple submissions by one author are not permitt
 ed. The language of the conference is English.  De
 adline for submission of abstracts: December 31, 2
 014.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6104/25-
 27-February-2015-Young-Researchers-Conference-Fron
 tiers-of-Formal-Methods-Aachen-Germany
END:VEVENT
END:VCALENDAR