FM 2015

FM 2015

Search
Skip to content
  • Important Dates
  • Call for Papers
    • Main Conference
    • Industry Track
    • Doctoral Symposium
  • Program
    • Program Overview
    • Invited Speakers
    • Accepted Papers
    • Doctoral Symposium
    • Tutorials
    • Workshops
  • Committees
  • Registration
News

PC Chairs

May 5, 2014 Einar Broch Johnsen

The PC chairs of FM 2015 will be

  • Frank de Boer (CWI, NL)
  • Nikolaj Bjørner (MSR, US)

Post navigation

Previous PostPreliminary organization has begun!Next PostInvited Speakers

20th International Symposium on Formal Methods

  • News
  • About FM
  • FM Technical program
  • Workshops
  • Tutorials
  • Doctoral Symposium
  • Practical information
    • Venue
    • Accommodation
    • Oslo
    • Getting there
    • Map (UiO)
    • Weather Forecast
  • Contact Information
  • Previous Conferences
    • FM 2014 Singapore
    • FM 2012 Paris
    • FM 2011 Limerick
    • FM 2009 Eindhoven
    • FM 2008 Åbo
Follow @FormalMethods15

WordPress

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

Widget Twitter

Proudly powered by WordPress