The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. http://crisys.cs.umn.edu/nfm2016/ http://crisys.cs.umn.edu/nfm2016/updates/slides-posted/ Wed, 08 Jun 2016 00:00:00 -0500 <p>Links to keynote slides are being posted on each speaker’s entry in the “Schedule” section in the site menu.</p> http://crisys.cs.umn.edu/nfm2016/updates/slides-posted/ http://crisys.cs.umn.edu/nfm2016/updates/breakout-session-resources/ Wed, 08 Jun 2016 00:00:00 -0500 <p>Resources for Michael Lowry’s breakout sessions <a href="/nfm2016/breakout/">can be found by clicking here</a>.</p> http://crisys.cs.umn.edu/nfm2016/updates/breakout-session-resources/ http://crisys.cs.umn.edu/nfm2016/updates/proceedings-linked/ Mon, 06 Jun 2016 00:00:00 -0500 <p>The <a href="http://link.springer.com/book/10.1007%2F978-3-319-40648-0">final proceedings for NFM 2016 are available here.</a> They are also linked in the menu above under “Proceedings”.</p> http://crisys.cs.umn.edu/nfm2016/updates/proceedings-linked/ http://crisys.cs.umn.edu/nfm2016/updates/more-location-info/ Wed, 25 May 2016 00:00:00 -0500 <p>More information about <a href="/nfm2016/location/">nearby hotels</a> and events and attractions in the area have been added to the location page.</p> http://crisys.cs.umn.edu/nfm2016/updates/more-location-info/ http://crisys.cs.umn.edu/nfm2016/updates/schedule-posted/ Fri, 06 May 2016 00:00:00 -0500 <p>The <a href="/nfm2016/schedule/">schedule of events</a> has been posted.</p> http://crisys.cs.umn.edu/nfm2016/updates/schedule-posted/ http://crisys.cs.umn.edu/nfm2016/updates/register-hotels-now/ Fri, 06 May 2016 00:00:00 -0500 <p>A special discounted rate for <a href="/nfm2016/location/">hotel rooms</a> is available through a special link. The special rate ends on May 11.</p> http://crisys.cs.umn.edu/nfm2016/updates/register-hotels-now/ http://crisys.cs.umn.edu/nfm2016/updates/accepted-papers/ Thu, 21 Apr 2016 00:00:00 -0500 <p>The <a href="/nfm2016/accepted/">list of accepted papers</a> has been posted.</p> http://crisys.cs.umn.edu/nfm2016/updates/accepted-papers/ http://crisys.cs.umn.edu/nfm2016/updates/keynote-abstracts/ Thu, 14 Apr 2016 00:00:00 -0500 <p>Abstracts for the keynote talks <a href="/nfm2016/keynotes/">are now available</a>, as well as full biographies of the speakers.</p> http://crisys.cs.umn.edu/nfm2016/updates/keynote-abstracts/ http://crisys.cs.umn.edu/nfm2016/updates/conference-registration/ Mon, 11 Apr 2016 00:00:00 -0500 <p>The <a href="/nfm2016/registration/">registration form</a> is now live. Don’t forget to also <a href="/nfm2016/location/">book a hotel room</a> in the reserved block as well.</p> http://crisys.cs.umn.edu/nfm2016/updates/conference-registration/ http://crisys.cs.umn.edu/nfm2016/updates/hotel-registration/ Tue, 29 Mar 2016 00:00:00 -0500 <p>The <a href="/nfm2016/location/">Location page</a> now has hotel registration information, as well as the venue and some guidance for getting around the Twin Cities.</p> http://crisys.cs.umn.edu/nfm2016/updates/hotel-registration/