Skip past navigation NASA Langley Formal Methods

LFM 2008 > talk submission
NASA Langley Research Center
The Sixth NASA Langley Formal Methods Workshop

April 30 - May 2, 2008

 

Contributed Talk Submission Forms:

There are two categories of submissions:

  • Regular Talks. These talks will be 30 minutes in length, including questions.
  • Student Talks. These talks will be 15 minutes in length, including questions.
The submission form contains a box to indicate which type of talk you are submitting.

To contribute a talk to LFM 2008, please submit an abstract in plain text or PDF format through our form on EasyChair. Both regular (one page) abstracts and extended (up to 3 page) abstracts are acceptable submissions. There has been some confusion regarding this form. Please submit an abstract only, not a full research paper. If you are submitting a textual abstract, please check the box "Abstract Only" in the "Upload paper" section. If you are submitting a PDF abstract, please write "Please see attached PDF file to find the abstract" in the Abstract form and upload the file in the "Upload paper" section.

All accepted abstracts will be published in the paper proceedings, which will take the form of an official NASA Conference Proceedings (CP) document. This paper proceedings will be available for download for free from the NASA Technical Reports Server (NTRS) and hard copies will be available for a fee from the NASA Scientific and Technical Information (STI) center. Slides will also be included in the electronic proceedings, which will be available on this web site at the conclusion of LFM 2008. Therefore, we will ask all authors to turn in an electronic copy of their slides during the meeting.

The submission form through EasyChair is available here.

[Top]

 

Skip past navigation  
Curator and Responsible NASA Official: Kristin Y. Rozier
LaRC Privacy Statement
last modified: January 15, 2008