[Om-announce] [fm-announcements] Formal Methods Position at NASA

The Formal Methods team at NASA Langley Research Center, Hampton, Virginia, U.S., has opened the following positions (U.S. citizenship is required to apply). ANNOUNCEMENT NO: LA13D0064 POSITION: Research Computer Scientist, AST, Computer Research and Development, GS-1550-12/13, Promotion

[Om-announce] [fm-announcements] Formal Methods Positions at NASA Langley

*** I apologize for reposting these announcements. Due to the government shutdown, previous announcements have been cancelled and they are being re-advertised; All applicants who applied under the previous announcements must reapply to these announcements in order to be considered. Cesar ***

[Om-announce] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014

Fourth Verified Software Competition (VSComp) 2014 14-15 June 2014 http://vscomp.org http://vscomp.org/ Organizers: Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar The Fourth Verified Software Competition (VSComp) aims to showcase the progress in verification technology. The

[Om-announce] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014

Fourth Verified Software Competition (VSComp) 2014 14-15 June 2014 http://vscomp.org Organizers: Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar The Fourth Verified Software Competition (VSComp) aims to showcase the progress in verification technology. The competition will occur

[Om-announce] [fm-announcements] Postdoc Position Announcement

POSTDOC POSITION ANNOUNCEMENT National Institute of Aerospace Software Assurance and Formal Methods The National Institute of Aerospace (NIA) has an opening for a postdoctoral Research Scholar to work in the research area of software assurance and formal methods in support of NASA's sponsored

[Om-announce] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models

== CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co

[Om-announce] [fm-announcements] Final CFP -- 11th Int. Workshop on Developments in Computational Models

FINAL CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 3,

[Om-announce] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines

NFM 2018 - 2nd Call for Papers *** EXTENDED DEADLINES *** The 10th NASA Formal Methods Symposium 30 Years of Formal Methods at NASA - https://shemesh.larc.nasa.gov/NFM2018/ April 17-19, 2018 Newport News Marriott at City Center Newport News, VA, USA Theme of

[Om-announce] [fm-announcements] NFM 2018 - Final Call for Papers

NFM 2018 - Call for Papers *** FINAL CALL FOR PAPERS *** The 10th NASA Formal Methods Symposium 30 Years of Formal Methods at NASA - https://shemesh.larc.nasa.gov/NFM2018/ April 17-19, 2018 Newport News Marriott at City Center Newport News, VA, USA Theme of

[Om-announce] [fm-announcements] NFM 2018 - Call for Participation

- Call for Participation: NFM 2018 - Tenth NASA Formal Methods Symposium 30 Years of Formal Methods at NASA April 17-19, Newport News, VA, USA https://shemesh.larc.nasa.gov/NFM2018/ Celebrating 30 years of formal

[Om-announce] [fm-announcements] NASA Formal Methods 1st CFP

**    The Thirteenth NASA Formal Methods Symposium   https://shemesh.larc.nasa.gov/nfm2021/ 24-28 May 2021    Norfolk, VA, USA ** The symposium will be held in

[Om-announce] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline)

**     Final Call for Papers -- Extended Deadline    The Thirteenth NASA Formal Methods Symposium   https://shemesh.larc.nasa.gov/nfm2021/ May 24-28, 2021    Virtual / Norfolk, VA, USA

[Om-announce] [fm-announcements] Formal Methods for Industrial Critical Systems 2021 CfP

The 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021) https://qonfest2021.lacl.fr/fmics21.php