From fm-announcements at lists.nasa.gov Fri Dec 6 17:31:36 2024 From: fm-announcements at lists.nasa.gov (Dutle, Aaron M. (LARC-D320) via fm-announcements) Date: Fri, 6 Dec 2024 16:31:36 +0000 Subject: [Om] [fm-announcements] NFM 2025 *deadline extended* Message-ID: 17th NASA Formal Methods Symposium (NFM?25) 11-13 June 2025 Williamsburg, VA Call for Papers Submission Deadline Extended! Symposium Theme The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other 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 verification and test case generation; techniques and algorithms for scaling formal methods; design for verification and correct-by-design techniques; requirements generation, specification, and validation. ? Integration of Formal Methods ? Use of ML techniques in formal methods; integration of formal methods and software engineering; integration of diverse formal methods techniques; integration of formal methods with simulation, analysis, and test approaches. ? Formal Methods in Practice ? Experience reports on applications of formal methods in industry; use of formal methods in education; applications of formal methods to concurrent and distributed systems, human-machine systems, autonomous systems, and fault-detection, diagnostics, and prognostics systems. Submission There are two categories of submissions: ? Regular papers ? Up to 15 pages plus references. Regular papers describe fully developed work and complete results. ? Short papers ? Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications 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 been 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 the paper. However, the use of generative AI to create examples (such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, 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 at?https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7Com%40openmath.org%7C324924ca2f424e698ca708dd16138a05%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638690995377830089%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=V0s1l5Ac2UAlUJRJG3sJDyQ2LewInf6CzUWaVDhzL50%3D&reserved=0. Papers must be submitted in PDF format through the EasyChair submission site,?https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dnfm2025&data=05%7C02%7Com%40openmath.org%7C324924ca2f424e698ca708dd16138a05%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638690995377986324%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=MLxi6SOLq2E%2FZFW1%2FaPiHqOTT%2FrPjJXzQi3xHqyuIU8%3D&reserved=0. Important Dates Abstract submission December 13, 2024 Paper submission December 22, 2024 Author notification February 14, 2025 Camera ready deadline March 14, 2025 Symposium June 11-13, 2025 Note: An abstract must be submitted by December 13 for the paper to be considered. Location and Cost The symposium will be hosted by the Computer Science Department at the College of William & Mary, in historic Williamsburg, VA. Williamsburg is located about 150 miles south of Washington, D.C., and midway between Richmond and Norfolk on Interstate 64. It is home to an award-winning theme park, several recreation opportunities and the world's largest living history museum. For information about visiting the William & Mary campus, including lodging options, see https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.wm.edu%2Fabout%2Fvisiting%2F&data=05%7C02%7Com%40openmath.org%7C324924ca2f424e698ca708dd16138a05%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638690995377986324%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Brbj3ZMc0d4ElIJ0M4IXoZyV3lTaUHvyiroKFVB2QLw%3D&reserved=0 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From serge.autexier at dfki.de Mon Dec 9 09:59:19 2024 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 9 Dec 2024 09:59:19 +0100 (CET) Subject: [Om] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil Message-ID: <20241209085919.80F9F12C916A4@gigondas.localdomain> ------------------------------------------------------------------------------- CICM 2025 First Announcement and Call for Papers 18th Conference on Intelligent Computer Mathematics - CICM 2025 - October 6?11, 2025 Brasilia, Brazil https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcicm-conference.org%2F2025&data=05%7C02%7Com%40openmath.org%7Cc65784c40c8c4fceeec208dd182fc7c3%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638693315690616438%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=R0XWWGi1Ctwam%2Fkpo5Q9mvapbDRhWfoF0hLisub8c7Q%3D&reserved=0 -------------------------------------------------------------------------------- More and more mathematical information is digitally processed, generated, communicated, stored, and curated. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. Besides the CICM main program soliciting formal CICM submissions there will be associated workshops with separate submission options. We are inviting formal submissions on all topics relating to intelligent computer mathematics, in particular, but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries The program committee is chaired by Valeria de Paiva, Berkeley and Peter Koepke, Bonn. *** Formal Paper Submissions *** Formal submissions in one of the following categories will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages + bibliography) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (4 to 5 pages + bibliography) present digital artifacts *** Important Dates *** Formal submissions - Abstract deadline: April 28, 2025 - Full paper deadline: May, 2025 - Reviews sent to authors: June 16, 2025 - Rebuttals due: June 20, 2025 - Notification of acceptance: July 4, 2025 - Camera-ready copies due: July 18, 2025 - Conference: October 6-11, 2025 *** Submissions *** All submissions should be made via EasyChair at https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcicm25&data=05%7C02%7Com%40openmath.org%7Cc65784c40c8c4fceeec208dd182fc7c3%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638693315691085144%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=HF6WRpVn70ghb2Vzg%2BfQYVTpjlL%2F4KiXaH5n7m5xzz0%3D&reserved=0 using the Springer LNCS style files https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7Com%40openmath.org%7Cc65784c40c8c4fceeec208dd182fc7c3%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638693315691085144%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=yrFciBda%2F79vGPz%2BLouPYUoLQlUGOXF4%2FQsP4SZj7Tk%3D&reserved=0 If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. *** Best Papers *** CICM 2025 honors the best paper and best student paper with respect to reviews and program committee discussions with an award. --------------------------------------------------------------------------------