FFM'15 Frontiers of Formal Methods 2015 (Veranstaltung)

Beschreibung

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).

Zeitraum	25 Feb. 2015 → 27 Feb. 2015
Ereignistitel	FFM'15 Frontiers of Formal Methods 2015
Veranstaltungstyp	Sonstiges
Ort	DeutschlandAuf Karte anzeigen