From kyrozier at iastate.edu Wed Dec 31 03:11:54 2025 From: kyrozier at iastate.edu (Rozier, Kristin-Yvonne [AER E]) Date: Wed, 31 Dec 2025 02:11:54 +0000 Subject: [Event@CIG] FMICS: Call for Papers Message-ID: ********************************************************** ? Formal Methods for Industrial Critical Systems (FMICS) ? 31st International Conference, co-located with CONFEST https://confest-2026.github.io/fmics/ ? ? ? ? ? ? ? ? ?2 - 4 September 2026 ? ? ? ? University of Liverpool, Liverpool, UK ********************************************************** Theme of the Conference: ----------------------- The aim of the FMICS conference series is to provide a forum for researchers an practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. FMICS is the ERCIM Working Group conference on Formal Methods for Industrial Critical Systems, and it is the key conference in the intersection of industrial applications and Formal Methods. Topics of Interest: ------------------- We encourage submissions on cross-cutting approaches that bring together formal methods and industrial applications. ? ? * Formal specification, including specification elicitation, validation, debugging, sanity checking, revision, coverage, and explainability. ? ? * Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. ? ? * Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile, and autonomous systems. ? ? * Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification). ? ? * Transfer to industry and impact of adoption of formal methods on the development process and associated costs in industry. Application of formal methods in standardization and industrial forums. Important Dates: ---------------- Abstract Submission: 10 Apr 2026 Paper Submission:? ? 17 Apr 2026 Paper Notifications:? 1 Jun 2026 Camera-ready Papers: 15 Jun 2026 Conference:? ? ? ? ?2-4 Sep 2026 Submission Details: ------------------- Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), and provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding references) formatted according to the Springer author guidelines LNCS style. Any appendices (beyond the above page limit) might not be considered in the review process. All submissions will be reviewed by at least three members of the Programme Committee, which will make a selection among the submissions based on the novelty, soundness, and applicability of the presented ideas and results. Papers must be written in English and submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences?conf=fmics2026 For all papers with experimental results, we strongly recommend providing reviewers with an artifact that they can use to reproduce results, e.g., via a paper website. ERCIM Award: ------------ As in best FMICS tradition, the paper with the best contributions to Software Science and Technology will be honoured with the EASST ERCIM award. Keynote Speakers: ----------------- Julia Badger, NASA Johnson Space Center Colin O?Halloran, D-RisQ Organizers: ----------- Peter Gorm Larsen (Aarhus University, Denmark) Kristin Yvonne Rozier (Iowa State University, USA) Programme Committee: -------------------- Jefferson Andrade, Instituto Federal do Esp?rito Santo Ramesh Bharadwaj, U.S. Navy John Fitzgerald, Newcastle University John Hatcliff, Kansas State University Joseph Kiniry, Galois, Inc. Tsutomu Kobayashi, Japan Aerospace Exploration Agency (JAXA) Tiziana Margaria, University of Limerick Mieke Massink, CNR-ISTI, Pisa, Italy Stephan Merz, INRIA Nancy Stefan Mitsch, DePaul University Rosemary Monahan, Maynooth University Tomohiro Oda, Software Research Associates, Inc. Claudio Pinello, Collins Aerospace Anne Remke, WWU M?nster Cristina Seceleanu, M?lardalen University Martina Seidl, Johannes Kepler University Linz Giulia Sindoni, University of Leeds Laura Titolo, Code Metal Christoph Torens, German Aerospace Center, Institute of Flight Systems Jaco van de Pol, Aarhus University and University of Twente Marcel Verhoef, European Space Agency Virginie Wiels, ONERA / DTIS Anton Wijs, Eindhoven University of Technology -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Associate Professor, Iowa State Univ / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ !!! !!!https://laboratory.temporallogic.org From stefano.mariani at unimore.it Thu Jan 1 21:41:51 2026 From: stefano.mariani at unimore.it (Stefano Mariani) Date: Thu, 1 Jan 2026 21:41:51 +0100 Subject: [Event@CIG] 1st CLaRAMAS workshop at AAMAS 2026 Message-ID: <88439101-8e7d-4fb2-80d5-c2df39ca7b2d@unimore.it> Dear Colleague, we hope this email finds you well :) We cordially invite you to submit your research work to the /1st International Workshop on ?Causal Learning and Reasoning in Agents and Multiagent Systems?/ (CLaRAMAS), hosted by the 25th International Conference on Agents and Multiagent Systems (AAMAS). The workshop seeks contributions at the *crossroads between learning of and reasoning with causal models, and engineering agents and agent-based systems* (both programming and learning approaches). Check out the workshop?s full scope & aims and the Call for Papers (also reported at the end of this email) on the workshop website: https://claramas-workshop.github.io/claramas2026/ /The submission deadline is February, 4th 2026./ Looking forward to receive your contributions, our best regards. The CLaRAMAS Program Chairs ? ?--- /Stefano Mariani, Mehdi Dastani, Andr? Meyer-Vitali, Julien Siebert/ ##### Call for Papers ##### The concept of an ?agent? represents a foundational abstraction in software engineering, encapsulating the notion of *agency*?namely, the capacity of a software entity to bring about effects in pursuit of specific goals within its operating environment. Exercising agency requires the ability to interpret the structure and dynamics of that environment and to anticipate its responses to the agent?s actions. In essence, /agency hinges on understanding and leveraging the causal relationships among observable and controllable variables (e.g., through sensors and actuators)./ Such causal reasoning is indispensable for planning actions that reliably achieve intended objectives?a principle reinforced by recent research on causal inference in emerging ?agentic AI? systems. This requirement extends naturally to multi-agent systems (MAS), a cornerstone of distributed artificial intelligence, where multiple agents coexist and interact within a shared environment. These interactions ? whether cooperative or competitive ? contribute to individual and systemic goals, either through direct communication or indirect influence on the environment. Consequently, /effective coordination in multi-agent settings depends on a causal understanding of interdependencies among agents? behaviors./ Only by modeling these reciprocal influences can agents achieve robust and purposeful collaboration (or competition) toward their respective objectives. ?? /However, this fundamental role of causal modelling of the agent-environment and agent-agent relationships is not yet widely and deeply discussed in the AAMAS community./ ?? Accordingly, CLaRAMAS welcomes submissions dealing with the following *topics of interest*: * how to integrate causal learning in agent architectures and MAS * how to carry out causal learning of agent-environment and agent-agent relationships from the standpoint of an individual agent or of the MAS as a whole * how causal modelling and learning can be integrated in agent-oriented software engineering methodologies * exploring causal explainability, safety, and robustness in agent(s) design, for instance in robotic and multi-robot systems * how causal learning may integrate with learning-based approaches to agent design, such as with Reinforcement Learning for counterfactual reasoning, credit assignment, policy evaluation, policy improvement in single- and multi-agent systems * theoretical foundations of causal learning and reasoning in single- and multi-agent systems, including the relationship between sequential decision making (e.g., MDPs) and Pearl structural causal models, integration of game-theoretic formalisms, etc. * practical applications of causal learning and reasoning in MAS * cooperative planning, prediction, and diagnosis using (perhaps, partially) shared causal models * combining causal learning and reasoning with planning and adaptive control, including model-based, model-free and hybrid approaches * cooperative causal discovery and inference in MAS * neuro-symbolic AI via causal models * evaluation and benchmarks for causal MAS applications, including datasets, metrics, simulators, and reproducible experimental pipelines Check out the /submission dates and instructions/ at the CLaRAMAS website: https://claramas-workshop.github.io/claramas2026 ##### ##### -- ------------------------------ Stefano Mariani, PhD Tenure-track researcher (RTDb) @ University of Modena and Reggio Emilia >https://smarianimore.github.io ------------------------------ <<< Well being notice >>> I care about your work-life balance: I sent this email at a time that works for me; please, read and reply at a time that works for you! :) ------------------------------