Logic List Mailing Archive

CfP: NFM25: 17th NASA Formal Methods Symposium, 11-13 June, Hampton Roads (VA, USA)

17th NASA Formal Methods Symposium (NFM'25)
11-13 June 2025
Hampton Roads, VA
Call for Papers
Symposium Theme
The widespread use and increasing complexity of mission-critical and safety
-critical systems at NASA and in the aerospace industry requires advanced t
echnologies to address their specification, design, verification, validatio
n, and certification. The NASA Formal Methods Symposium is a forum to foste
r collaboration between theoreticians and practitioners from NASA, other go
vernment agencies, academia, and industry, with the goal of identifying cha
llenges and providing solutions towards achieving assurance for such critic
al systems. The focus of this symposium is on formal techniques for softwar
e and system assurance for applications in space, aviation, robotics, and o
ther NASA-relevant critical systems.
Topics of Interest
*         Advances in Formal Methods - Formal verification, model checking,
and static analysis; interactive and automated theorem proving; program and
 specification synthesis, code transformation and generation; run-time veri
fication and test case generation; techniques and algorithms for scaling fo
rmal methods; design for verification and correct-by-design techniques; req
uirements generation, specification, and validation.
*         Integration of Formal Methods - Use of ML techniques in formal me
thods; integration of formal methods and software engineering; integration 
of diverse formal methods techniques; integration of formal methods with si
mulation, analysis, and test approaches.
*         Formal Methods in Practice - Experience reports on applications o
f formal methods in industry; use of formal methods in education; applicati
ons of formal methods to concurrent and distributed systems, human-machine 
systems, autonomous systems, and fault-detection, diagnostics, and prognost
ics systems.
Submission
There are two categories of submissions:
*         Regular papers - Up to 15 pages plus references. Regular papers d
escribe fully developed work and complete results.
*         Short papers - Up to 6 pages plus references. Short papers descri
be either novel and publicly available tools, case studies detailing applic
ations of formal methods, or new emerging ideas in the topics of interest.

All papers should be in English and describe original work that has not bee
n published or submitted elsewhere. Authors of accepted papers must present
 their work in person at the conference.

NFM prohibits the use of generative AI to create the textual narrative of t
he paper. However, the use of generative AI to create examples (such as tex
t, tables, graphics, and code) that support the paper is permitted, but thi
s must be disclosed in the paper. Basic word processing systems that recomm
end and insert replacement text, perform spelling or grammar checks and cor
rections, or systems that do language translations need not be disclosed in
 the paper.

All submissions will be fully reviewed by members of the Program Committee.
 NFM is currently arranging to publish accepted regular and short papers in
 the Formal Methods subline of Springer's Lecture Notes in Computer Science
 (LNCS). Authors should therefore use the LNCS style formatting described a
t?https://www.springer.com/gp/computer-science/lncs/conference-proceedings-
guidelines. Papers must be submitted in PDF format through the EasyChair su
bmission site,?https://easychair.org/conferences/?conf=nfm2025.
Important Dates
Paper submission
December 13, 2024
Author notification
February 14, 2025
Camera ready deadline
March 14, 2025
Symposium
June 11-13, 2025
Location and Cost
The symposium will be hosted by the Computer Science Department at the Coll
ege of William & Mary, in historic Williamsburg, VA. Williamsburg is locate
d about 150 miles south of Washington, D.C., and midway between Richmond an
d Norfolk on Interstate 64. It is home to an award-winning theme park, seve
ral recreation opportunities and the world's largest living history museum.
 For information about visiting the William & Mary campus, including lodgin
g options, see www.wm.edu/about/visiting/<https://www.wm.edu/about/visiting
/>

There will be no registration fee charged to participants. All interested i
ndividuals, including non-US citizens, are welcome to attend, listen to the
 talks, and participate in discussions. However, all attendees must registe
r.



LS0tDQpUbyBvcHQtb3V0IGZyb20gdGhpcyBtYWlsaW5nIGxpc3QsIHNlbmQgYW4gZW1haWwgdG8g
DQoNCmZtLWFubm91bmNlbWVudHMtcmVxdWVzdEBsaXN0cy5uYXNhLmdvdiANCg0Kd2l0aCB0aGUg
d29yZCAndW5zdWJzY3JpYmUnIGFzIHN1YmplY3Qgb3IgaW4gdGhlIGJvZHkuIFlvdSBjYW4gYWxz
byBtYWtlIHRoZSByZXF1ZXN0IGJ5IGNvbnRhY3RpbmcgDQoNCmZtLWFubm91bmNlbWVudHMtb3du
ZXJAbGlzdHMubmFzYS5nb3Yg

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php