http://crisys.cs.umn.edu/nfm2016/ 2016-06-08T15:55:03-05:00 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. Jason Biatek biatek@umn.edu https://github.com/jbiatek/ Jekyll http://crisys.cs.umn.edu/nfm2016/updates/slides-posted/ 2016-06-08T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<p>Links to keynote slides are being posted on each speaker’s entry in the “Schedule” section in the site menu.</p> 2016-06-08T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/breakout-session-resources/ 2016-06-08T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<p>Resources for Michael Lowry’s breakout sessions <a href="/nfm2016/breakout/">can be found by clicking here</a>.</p> 2016-06-08T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/proceedings-linked/ 2016-06-06T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<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> 2016-06-06T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/more-location-info/ 2016-05-25T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<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> 2016-05-25T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/schedule-posted/ 2016-05-06T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<p>The <a href="/nfm2016/schedule/">schedule of events</a> has been posted.</p> 2016-05-06T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/register-hotels-now/ 2016-05-06T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<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> 2016-05-06T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/accepted-papers/ 2016-04-21T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<p>The <a href="/nfm2016/accepted/">list of accepted papers</a> has been posted.</p> 2016-04-21T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/keynote-abstracts/ 2016-04-14T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<p>Abstracts for the keynote talks <a href="/nfm2016/keynotes/">are now available</a>, as well as full biographies of the speakers.</p> 2016-04-14T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/conference-registration/ 2016-04-11T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<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> 2016-04-11T00:00:00-05:00 http://crisys.cs.umn.edu/nfm2016/updates/hotel-registration/ 2016-03-29T00:00:00-05:00 Jason Biatek biatek@umn.edu https://github.com/jbiatek/

<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> 2016-03-29T00:00:00-05:00