Skip to main navigation Skip to search Skip to main content

FFM'15 Frontiers of Formal Methods 2015 (Event)

Activity: Membership/Function › Program committee

Description

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).
Period25 Feb 2015 → 27 Feb 2015
Event titleFFM'15 Frontiers of Formal Methods 2015
Event typeOther
LocationGermanyShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links