![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
From: "Munoz, Cesar Augusto (LARC-D320)" <cesar.a.munoz@nasa.gov> To: "seworld@sigsoft.org" <seworld@sigsoft.org> Date: Tue, 2 Mar 2010 10:44:32 -0600 Subject: [SEWORLD] Call for Participation NFM 2010 ---------------------------------------------------- CALL FOR PARTICIPATION: 2nd NASA Formal Methods Symposium ----------------------------------------------------- The NASA Formal Methods community invites you to attend the Second NASA Formal Methods Symposium (NFM 2010) http://shemesh.larc.nasa.gov/NFM2010 nfm2010@lists.nasa.gov April 13-15, 2010 Washington D.C. Theme of Conference ---- The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia and industry, with the goals of identifying challenges and providing solutions to achieving assurance in safety-critical systems. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems. Invited Speakers ---- Nikolaj Bjorner, Microsoft Guillaume Brat, NASA John Harrison, Intel John Kelly, NASA http://shemesh.larc.nasa.gov/NFM2010/speakers.html Program ---- The program committee selected 20 regular papers and 4 short papers for presentation, covering various aspects of the theory and practice of formal methods in safety-critical domains. http://shemesh.larc.nasa.gov/NFM2010/program.html Registration ---- Attendance to the symposium is free, but all attendees must register in order to participate. Registration closes April 9, 2010. http://shemesh.larc.nasa.gov/NFM2010/registration.html Travel and Local Information ---- The conference will take place in the James Webb Memorial Auditorium at NASA Headquarters in Washington D.C. http://shemesh.larc.nasa.gov/NFM2010/local.html Note that there are room blocks reserved at two hotels. These reservations will expire in the March 13-15 time frame. http://shemesh.larc.nasa.gov/NFM2010/travel.html Contact ---- Mike Hinchey, Conference Chair Cesar Munoz, Program Chair nfm2010@lists.nasa.gov
From: "Munoz, Cesar Augusto (LARC-D320)" <cesar.a.munoz@nasa.gov> To: [...] Date: Wed, 16 Dec 2009 15:57:52 -0600 Subject: [ecoop-info] [fm-announcements] NFM 2010 (Last Call for Papers) ------------------------------------------------------- LAST CALL FOR PAPERS: 2nd NASA Formal Methods Symposium ------------------------------------------------------- The NASA Formal Methods community invites you to submit a paper to: The Second NASA Formal Methods Symposium (NFM 2010) Web: http://shemesh.larc.nasa.gov/NFM2010 Email: nfm2010@lists.nasa.gov April 13-15, 2010 Washington D.C. -------------------------------------------------- IMPORTANT DATES: -------------------------------------------------- *** Submission (abstract): January 8, 2010 *** *** Submission (final): January 15, 2010 *** Notification: February 26, 2010 Final version: March 19, 2010 -------------------------------------------------- Theme of Conference: -------------------------------------------------- The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia and industry, with the goals of identifying challenges and providing solutions to achieving assurance in safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems. The symposium aims to introduce researchers, graduate students, and partners in industry to those topics that are of interest, to survey current research, and to identify unsolved problems and directions for future research. NFM 2010 is the second edition of the NASA Formal Methods Symposium, which started in 2009 and was organized by NASA Ames Research Center in Moffet Field, California. The symposium originated from the earlier Langley Formal Methods Workshop series and aims to foster collaboration between NASA researchers and engineers, as well as the wider aerospace, safety-critical, and formal methods communities. -------------------------------------------------- Topics of Interest: -------------------------------------------------- * Formal verification, including theorem proving, model checking, and static analysis * Automated test generation and formal testing of critical systems * Model-based development * Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques * Monitoring and run-time verification * Code generation from formally verified models * Safety cases * Accident/safety analysis * Formal approaches to fault tolerance * Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems * Formal methods in systems engineering -------------------------------------------------- Submissions: -------------------------------------------------- There are two categories of submissions, to be formatted in the EasyChair class style (http://www.easychair.org/coolnews.cgi): * Regular papers describing fully developed work and complete results (10 pages / 30 minute talks) * Short papers describing interesting work in progress and/or preliminary results (5 pages / 15 minute talks) All papers should describe original work that has not been published elsewhere. Submissions will be fully reviewed and the symposium proceedings will appear as a NASA Conference Publication. Authors of selected papers will then be invited to submit extended versions to a special issue of "Innovations in Systems and Software Engineering: a NASA Journal" (Springer). Papers should be submitted through the following link: http://www.easychair.org/conferences/?conf=nfm2010 -------------------------------------------------- For further information: -------------------------------------------------- http://shemesh.larc.nasa.gov/NFM2010/ nfm2010@lists.nasa.gov Mike Hinchey NFM 2010 Conference Chair Cesar A. Munoz NFM 2010 Program Chair
From: "Munoz, Cesar Augusto (LARC-D320)" <cesar.a.munoz@nasa.gov>
To: "fm-announcements@lists.nasa.gov" <fm-announcements@lists.nasa.gov>,
"types-announce@lists.seas.upenn.edu"
<types-announce@lists.seas.upenn.edu>,
"cphc-conf@jiscmail.ac.uk" <cphc-conf@jiscmail.ac.uk>,
"larc-nia-fm@lists.nasa.gov" <larc-nia-fm@lists.nasa.gov>,
"types@lists.chalmers.se" <types@lists.chalmers.se>,
"pvs-announce@csl.sri.com" <pvs-announce@csl.sri.com>,
"pvs@csl.sri.com" <pvs@csl.sri.com>
Date: Fri, 27 Nov 2009 12:47:49 -0600
Subject: [ecoop-info] [fm-announcements] NFM 2010 (2nd Call for Papers)
[ 103 lines deleted; see updated version above -- dc ]
Date: Mon, 5 Oct 2009 10:13:47 -0400 From: Radu Siminiceanu <radu@NIANET.ORG> Subject: [SEWORLD] CFP: NASA Formal Methods Symposium 2010 To: SEWORLD@LISTSERV.ACM.ORG -------------------------------------------------- CALL FOR PAPERS: 2nd NASA Formal Methods Symposium -------------------------------------------------- The NASA Formal Methods community invites you to submit a paper to: The Second NASA Formal Methods Symposium (NFM 2010) http://shemesh.larc.nasa.gov/NFM2010 April 13-15, 2010 Washington D.C. -------------------------------------------------- Important Dates: -------------------------------------------------- Submission (abstract): January 8, 2010 Submission (final): January 15, 2010 Notification: February 26, 2010 Final version: March 19, 2010 -------------------------------------------------- Theme of Conference: -------------------------------------------------- The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia and industry, with the goals of identifying challenges and providing solutions to achieving assurance in safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems. The symposium aims to introduce researchers, graduate students, and partners in industry to those topics that are of interest, to survey current research, and to identify unsolved problems and directions for future research. The meeting will consist of invited talks by leading researchers and practitioners, a panel discussion on the current status of formal methods, and more specialized talks based on contributed papers. NFM 2010 is the second edition of the NASA Formal Methods Symposium, which started in 2009 and was organized by NASA Ames Research Center in Moffet Field, California. The symposium originated from the earlier Langley Formal Methods Workshop series and aims to foster collaboration between NASA researchers and engineers, as well as the wider aerospace, safety-critical, and formal methods communities. -------------------------------------------------- Topics of Interest: -------------------------------------------------- * Formal verification, including theorem proving, model checking, and static analysis * Automated test generation and formal testing of critical systems * Model-based development * Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques * Monitoring and run-time verification * Code generation from formally verified models * Safety cases * Accident/safety analysis * Formal approaches to fault tolerance * Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems * Formal methods in systems engineering -------------------------------------------------- Program Committee: -------------------------------------------------- Gilles Barthe (IMDEA) Guillaume Brat (NASA) Ricky Butler (NASA) Charles Consel (INRIA) Ewen Denney (NASA) Ben Di Vito (NASA) Jin Song Dong (U. of Singapore) Gilles Dowek (Ecole Polytechnique, France) Matt Dwyer (U. Nebraska) Dimitra Giannakopoulou (NASA) Klaus Havelund (JPL) Mats Heimdahl (U. Minnesota) Gerard Holzmann (JPL) Mike Lowry (NASA) Josh McNeil (US Army) John Matthews (Galois Inc.) Natasha Neogi (UIUC) Corina Pasareanu (NASA) Charles Pecheur (U. de Louvain) John Penix (Google) Jim Rash (NASA) Chris Rouff (Lockheed Martin) Kristin Rozier (NASA) Wolfram Schulte (Microsoft) Koushik Sen (UC Berkeley) Natarajan Shankar (SRI) Radu Siminiceanu (NIA) Doug Smith (Kestrel Institute) Luis Trevino (Draper Lab) Caroline Wang (NASA) Mike Whalen (Rockwell Collins) Virginie Wiels (ONERA) -------------------------------------------------- Submissions: -------------------------------------------------- Submitted papers must be formatted in the EasyChair class style (http://www.easychair.org/coolnews.cgi). There are two categories of submissions (to be in NASA conference style): * Regular papers describing fully developed work and complete results (10 pages / 30 minute talks) * Short papers describing interesting work in progress and/or preliminary results (5 pages / 15 minute talks) All papers should describe original work that has not been published elsewhere. Submissions will be fully reviewed and the symposium proceedings will appear as a NASA Conference Publication. Authors of selected papers will then be invited to submit extended versions to a special issue of "Innovations in Systems and Software Engineering: a NASA Journal" (Springer). Papers should be submitted through the following link: http://www.easychair.org/conferences/?conf=nfm2010 -------------------------------------------------- Location and Cost: -------------------------------------------------- The symposium will take place in the Washington D.C. area. There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, listen to the talks, and participate in discussions. However, all attendees must register. Please visit the NFM 2010 web site for further information: http://shemesh.larc.nasa.gov/NFM2010/ nfm2010@lists.nasa.gov Mike Hinchey NFM 2010 Conference Chair Cesar A. Munoz NFM 2010 Program Chair
From: "Munoz, Cesar Augusto (LARC-D320)" <cesar.a.munoz@nasa.gov> To: "fm-announcements@lists.nasa.gov" <fm-announcements@lists.nasa.gov> Date: Wed, 30 Sep 2009 13:40:13 -0500 Subject: [ecoop-info] [fm-announcements] CFP: NASA Formal Methods Symposium 2010 [ 105 lines deleted; see updated version above -- dc ]
To the Ada-Belgium home page.
Last update: 2010/03/15.
Dirk Craeynest