From geoff at cs.miami.edu Mon Oct 6 17:42:41 2025 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 6 Oct 2025 11:42:41 -0400 Subject: [Event@CIG] [CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday Message-ID: <20251006154241.E0A67A0198B@armistead.ccs.miami.edu> [CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday As a follow-up to the very successful workshop at CADE, we invite you to contribute to the Festschrift in Honor of Christoph Weidenbach's 60th Birthday, which comes in the form of a topical collection (akin to a special issue) in the Journal of Automated Reasoning: https://link.springer.com/collections/ibbafifgai Christoph heads the Automation of Logic group at Max-Planck-Institut f??r Informatik, Saarbrucken. He is a well-known figure in the automated reasoning community, a former president of CADE Inc., and the main developer of the automatic prover SPASS. We invite contributions in areas close to Christoph's research, including but not limited to first-order reasoning, decidable fragments, SAT and SMT solving, combination of theories, rewriting, and automated verification. Submissions should be 15 to 50 pages long. From fm-announcements at lists.nasa.gov Mon Oct 6 22:59:42 2025 From: fm-announcements at lists.nasa.gov (Ivan Ruchkin via fm-announcements) Date: Mon, 6 Oct 2025 16:59:42 -0400 Subject: [Event@CIG] =?utf-8?q?=5Bfm-announcements=5D_Call_for_Papers=3A_?= =?utf-8?q?AAAI=E2=80=9926_Bridge_Program_=E2=80=9CMaking_Embodied_AI_Reli?= =?utf-8?q?able_with_Testing_and_Formal_Verification=E2=80=9D?= Message-ID: *Announcing a AAAI Bridge: *Making Embodied AI Reliable with Testing and Formal Verification Description of the Bridge This bridge addresses one of the most urgent challenges in AI: how to make embodied AI systems ? such as autonomous vehicles, UAVs, and robots ? interpretable, testable, and formally verifiable. While modern AI models excel in perception and decision-making, they pose significant challenges for traditional verification techniques, raising critical risks in safety-sensitive domains. The goal of this bridge is to unite diverse communities?AI/ML, formal methods, software engineering, robotics, and cyber-physical systems?in developing a shared roadmap for reliable embodied AI. Participants will engage with cutting-edge approaches in neurosymbolic reasoning, LLM-guided specification mining, scenario-based testing, compositional verification, and robustness under uncertainty, and explore their potential to support certification and assurance of AI-enabled autonomy. Topics - Testability and verifiability of AI-enabled autonomy - LLM-guided specification mining and scenario generation - White-box and compositional verification of neural and neurosymbolic components - Neurosymbolic architectures for modular reasoning and distillation - Robustness under sensing noise, ambiguous instructions, and human-robot interaction - Formal guardrails for LLMs and VLMs in embodied decision-making Format of the Bridge This one-day event will combine tutorials, keynote talks, technical presentations, panel discussions, and interactive breakout sessions. The morning program will feature tutorials and invited keynotes from leaders in neurosymbolic AI, formal verification, and embodied autonomy, followed by selected paper presentations. The afternoon will include a panel on certification challenges and breakout discussions organized around open problems such as scenario-based testing, compositional verification, and robustness under uncertainty. Attendance We anticipate 50?80 participants, with priority given to researchers and practitioners in AI, robotics, formal methods, and autonomous cyber-physical systems. Early-career researchers and graduate students are strongly encouraged to participate, with mentoring opportunities included. Submission requirements We invite 2?4 page extended abstracts or position papers describing research advances, tools, or case studies relevant to reliable embodied AI. Submissions should emphasize how the work enhances testability, interpretability, or verification of embodied AI. Accepted contributions will be presented as talks, posters, or lightning sessions. Submission site information Submissions should be made via https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Daaai26bridgereai&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb19be1296b2f4ac8818a08de051b506d%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638953812034609774%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=7oKGJcZyrzNVRSGTsRo9%2FdSCFrJmQoKFEfUVRqKAFRc%3D&reserved=0 Bridge Chairs Assoc. Prof. Xi (James) Zheng Macquarie University james.zheng at mq.edu.au Prof. Corina S. Pasareanu Carnegie Mellon University / NASA Ames corina.pasareanu at cmu.edu Asst. Prof. Ivan Ruchkin University of Florida iruchkin at ece.ufl.edu Prof. Archan Misra Singapore Management University archanm at smu.edu.sg Bridge Program Committee Ziyang Li (Johns Hopkins University) David Lo (Singapore Management University) Djordje ?ikeli? (Singapore Management University) Anna Lukina (Delft University of Technology) Aloysius K. Mok (University of Texas at Austin) Kenneth Kwok (A-STAR, Singapore) Daniel Neider (TU Dortmund University) Vijay Ganesh (Georgia Institute of Technology) Biplav Srivastava (University of South Carolina) Guy Van Den Broeck (University of California, Los Angeles) Basura Fernando (A-STAR, Singapore) Bridge URL https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.tacps.org%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb19be1296b2f4ac8818a08de051b506d%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638953812034625311%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=cHybpxSw4ITl9e%2FQPek3KBASSomF6Bf%2BYz4sFamj2Es%3D&reserved=0 Important dates ? Submissions due: October 31, 2025 ? Notifications: November 14, 2025 -------------- 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