Formal Methods Europe

Call for FM’14 Symposium Proposals

By Bernhard Aichernig • Feb 15th, 2012 • Category: Uncategorized

The FME board is inviting proposals to arrange the 19th International Symposium on Formal Methods 2014.

We particularly invite proposals from outside Europe.

See the attached Call for FM’14.

Bernhard Aichernig is
Email this author | All posts by Bernhard Aichernig

Comments are closed.

• Discussion Group

  • Join our LinkedIn Group!

• More from this category

  • FME Fellowship Award: Call for Nominations
  • FM 2018: Oxford 15-17 July 2018
  • FM 2018: Call for Workshop Proposals
  • FormaliSE 2017 co-located with ICSE in Buenos Aires, Argentina
  • FM 2016 in Cyprus
  • FME Annual General Meeting in Oslo, 23 June 2015
  • Sad News: Peter Lucas passed away Feb. 2, 2015
  • Call for FM’14 Symposium Proposals
  • CALL FOR PAPERS FM 2012
  • I-Day at FM 2005
  • Archive for 'Uncategorized' »

• Browse Archives

  September 2017 August 2017 May 2017 April 2017 December 2016 November 2016 June 2016 March 2016 December 2015 November 2015 September 2015 July 2015 June 2015 April 2015 February 2015 January 2015 December 2014 October 2014 September 2014 June 2014 April 2014 March 2014 February 2014 December 2013 October 2013 September 2013 August 2013 July 2013 June 2013 April 2013 January 2013 December 2012 October 2012 September 2012 August 2012 July 2012 February 2012 January 2012 October 2011 July 2011 February 2011 January 2011 November 2010 October 2010 August 2010 May 2010 February 2010 November 2009 September 2009 June 2009 May 2009 March 2009 December 2008 September 2008 0

• Browse Categories

  • Feature
  • FME Meeting
  • Lead Story
  • News
  • Sponsored by FME
  • Uncategorized

• Sponsors

  Site hosted at Graz University of Technology

• Contributors

  • Bernhard Aichernig
  • Marcel Verhoef
  • Einar Broch Johnsen
  • Erik de Vink