This conference is a forum of young researchers (typically PhD students) for exchanging current research results and broadening their academic network.
The scope of the conference ranges over formal and algorithmic methods in computer science, in a broad sense. Typical topics are the research areas of the participating organizations as indicated above.
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),
?short presentations (talks of 12 minutes duration).