FM 2015 http://fm2015.ifi.uio.no 20th International Symposium on Formal Methods Sun, 21 Jun 2015 10:20:52 +0000 en-US hourly 1 https://wordpress.org/?v=4.6.1 Proceedings of the Doctoral Symposium http://fm2015.ifi.uio.no/proceedings-of-the-doctoral-symposium/ Thu, 18 Jun 2015 07:04:00 +0000 http://fm2015.ifi.uio.no/?p=1110 The proceedings from the Doctoral Symposium of FM2015 are now available online.

]]> Best paper awards http://fm2015.ifi.uio.no/1107/ Thu, 18 Jun 2015 07:01:06 +0000 http://fm2015.ifi.uio.no/?p=1107 The best papers awards of FM this year will be announced at the banquet on Thursday 25/06.

]]> Workshops http://fm2015.ifi.uio.no/workshops-at-fm2015/ Sat, 06 Dec 2014 16:54:54 +0000 http://fm2015.ifi.uio.no/?p=389 There will be several workshops at FM 2015.

See the list here: http://fm2015.ifi.uio.no/workshops/

]]> Journal special issues http://fm2015.ifi.uio.no/journal-special-issues/ Mon, 01 Dec 2014 10:27:46 +0000 http://fm2015.ifi.uio.no/?p=365 There will be special issues of Acta Informatica and Formal Aspects of Computing featuring selected papers from FM 2015.

]]> FM2015 posters are now available http://fm2015.ifi.uio.no/fm2015-posters-are-now-available/ Mon, 03 Nov 2014 21:58:34 +0000 http://fm2015.ifi.uio.no/?p=345 photoDownload here [large (A2)] [small (A3/A4)]

]]> Call for Papers: The FM 2015 Industry Track http://fm2015.ifi.uio.no/call-for-papers-the-fm-2015-industry-track/ Tue, 09 Sep 2014 16:32:58 +0000 http://fm2015.ifi.uio.no/?p=311 Continue reading Call for Papers: The FM 2015 Industry Track →]]> The call for papers for the FM 2015 Industry Track is now out:

http://fm2015.ifi.uio.no/fm2015-industry-track/

The industry track of FM 2015 welcomes short papers describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, led to improvements in design or provided new insights. Industry track papers should not exceed 4 pages in LNCS format; accepted papers will be included in the proceedings of FM.

]]> CFP Papers in PDF-version http://fm2015.ifi.uio.no/cfp-papers-in-pdf-version/ Tue, 02 Sep 2014 22:00:25 +0000 http://fm2015.ifi.uio.no/?p=259 The CFP is now available as a pdf, ready to be downloaded and deployed on the conference scene this autumn!

Remember to download it and print some copies before you go to a conference!

 

]]> CfP Published http://fm2015.ifi.uio.no/cfp-published/ Tue, 15 Jul 2014 21:05:28 +0000 http://fm2015.ifi.uio.no/?p=226 The Call for Papers has now been published:
http://fm2015.ifi.uio.no/?page_id=24

]]> Invited Speakers http://fm2015.ifi.uio.no/invited-speakers/ Thu, 10 Jul 2014 19:52:36 +0000 http://fm2015.ifi.uio.no/?p=157 The following invited speakers are confirmed for FM 2015:

]]> PC Chairs http://fm2015.ifi.uio.no/pc-chairs/ Mon, 05 May 2014 21:08:11 +0000 http://fm2015.ifi.uio.no/?p=88 The PC chairs of FM 2015 will be

]]>