|
NASA Langley
Research Center The Sixth NASA Langley Formal Methods Workshop |
|   | |
Contributed Talk Submission Forms:There are two categories of submissions:
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.
| |