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

Journal special issues

December 1, 2014 Einar Broch Johnsen

There will be special issues of Acta Informatica and Formal Aspects of Computing featuring selected papers from FM 2015.

Post navigation

Previous PostFM2015 posters are now availableNext PostWorkshops

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