News – 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)]

]]> 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

]]> Preliminary organization has begun! http://fm2015.ifi.uio.no/preliminary-organization-has-begun/ Tue, 11 Feb 2014 11:39:58 +0000 http://fm2015.ifi.uio.no/?p=42