Annual Modeling and Simulation Conference (ANNSIM)

May 26-29, 2025

Universidad Complutense de Madrid
Facultad de Informática
C/Prof. José García Santesmases, 9
28040 Madrid, Spain

Location on Google Maps

Faculty Web Page

University Web Page

The Society for Modeling & Simulation International, (SCS)

Organizing Committee

Sponsorship and Exhibitor Opportunities

ANNSIM 2025 Technical Tracks and Other Submission Types

• Annual Simulation Symposium (ANSS)

  Track Chairs:

  • Joachim Denil, University of Antwerp, Antwerp, Belgium, Joachim.Denil@uantwerpen.be
  • Yilin Huang, Delft University of Technology, Delft, Netherlands, y.huang@tudelft.nl

   

  Modeling and Simulation (M&S) is currently at the core of many industrial processes. It is a vital component, supporting early evaluation and optimization of designs, as well as ongoing verification to ensure that the right product is developed with the required quality. However, there are still businesses that need to understand the benefits of embracing M&S in project development and management, which can be demonstrated through real-world examples of success.
  Real-world applications have always been the driving force behind the development of M&S theories. For over 50 years, the Annual Simulation Symposium (ANSS) has been a forum for exchanging ideas, results, and methods related to real-world theories and applications of M&S for simulationists in industry, government, and academia.

  The purpose of this track is to highlight and advance rigorous experimental and computational practices of M&S devoted to the study of real-world problems. Research on all topics concerning the practice of M&S theories is welcome. Authors are invited to present research of all kinds, including case studies and applications.

  Recommended topics in the track include, but are not limited to, the following with application to real-world problems:

  • Advances in the field of M&S for design, implementation, and evaluation purposes.
  • Application of modeling formalisms into real-world applications.
  • Rigorous comparisons across M&S techniques.
  • New applications of M&S.
  • Novel uses of M&S in real-world applications.
  • Application of M&S to co-design, hardware-in-the-loop, co-simulation.
  • M&S methods and tools: performance analysis, scalability, reproducibility, reusability, open simulation, etc.

• Communication technologies and Networking Simulation (CNS)

  Track Chairs:

  • Abdolreza Abhari, Toronto Metropolitan University, Toronto, Canada, aabhari@torontomu.ca
  • Patricia Arroba, Universidad Politécnica de Madrid, Madrid, Spain, p.arroba@upm.es

   

  The CNS track emphasizes the vital role of communications and networking in modern systems. While it initially centered on traditional computer networks, its scope now includes the Intelligent Internet of Things (IIoT), 5G/6G technologies, and smart telecommunication systems. The track also explores the transformative impact of Edge and Cloud computing, understanding their potential in shaping AI network-based systems for building the foundation and infrastructure of smart cities.

  The CNS forum serves as a premier platform for professionals to exchange insights on the performance evaluation of both current and emerging new generations of communication, energy, and healthcare network systems. Embracing a diverse spectrum, we are keen on contributions that range from theoretical research to hands-on practical investigations. Work that presents innovative evaluation methods or offers insights into design and performance optimization in communications and network systems is especially valued. Whether it is experimental analysis, system optimization, artificial neural networks, using AI and Machine Learning in networking, or real-world case studies, all pertinent contributions that align with these themes (but not limited to the following topics) are warmly welcomed.

  Topics of Interest:

  • AI and ML in communications, networking, and computer systems.
  • Data Science, Big Data Analysis in communications, networking, and computer systems.
  • 5G/6G and Beyond and enabling technologies, Device to Device communications, and network routing.
  • Software Defined Networking and Network Function Virtualization.
  • Edge/Fog/Cloud Computing, Distributed Systems, and Scalable Machine Learning Networks.
  • Green and energy-efficient communications and networking.
  • Cooperative communications and networking.
  • Cognitive radio and networking, Future Radio Access Networks.
  • Web social network modeling and simulation, socially aware networking and applications.
  • Vehicular ad-hoc networks / connected vehicles.
  • Traffic modeling and simulation of telecommunication systems and networks, large-scale networks simulation.
  • Trust and security in communications, networking, and computer systems and enabling technologies.
  • Web-based systems and simulation of video analytics applications.
  • Optical-Wireless communication and systems, Wireless ad-hoc Networks/ Wireless Sensor Networks/ Delay Tolerant Networks/ Opportunistic Networks/ Peer-to-Peer networking and computations.
  • Next Generation Internet of Things, enabling technologies and intelligent applications (Architecture, networking technologies, smart cities, healthcare systems, smart environment, smart mobility, precision agriculture, smart sustainability).

• Cyber-Physical Systems and Digital Twins (CPS/DT)

  Track Chairs:

  • Soheil Sabri, University of Central Florida, Orlando, FL, USA, soheil.sabri@ucf.edu
  • Yon Vanommeslaeghe, University of Antwerp, Antwerp, Belgium, yon.vanommeslaeghe@uantwerpen.be

  Cyber-Physical Systems (CPS) and Digital Twins (DT) are pivotal in modern technological advancements, encompassing a wide array of applications such as self-driving cars, Industry 4.0 machines, smart grid technologies, smart manufacturing, precision healthcare, and smart energy management. The integration of CPS and DT brings forth numerous challenges due to the complex behavior of heterogeneous components interacting with each other and their environments. Digital twinning, in particular, is a transformational trend that enables real-time synchronization of a digital model with its physical counterpart, providing descriptive, diagnostic, predictive, and prescriptive functionalities. These functionalities are often enabled by simulation, making the development of accurate and efficient simulators crucial.

  This track invites submissions that address the development, integration, and application of CPS and Digital Twins, with a focus on new approaches in Modeling and Simulation (M&S) to support the development and operation of these systems throughout their lifecycle, including design, verification, and operational phases. Researchers and practitioners are invited to share their innovations, addressing key challenges and demonstrating solutions across diverse application domains. It aims to provide a forum for researchers and practitioners to exchange their latest results and experiences.

  Submissions may address topics either in the broader context of cyber-physical systems or focus specifically on digital twins, including but not limited to:

  ● Applied modelling and (co-)simulation
  ● Simulation-based digital twins
  ● Model creation and recommendation systems
  ● Collaborative modelling and simulation
  ● Machine learning, data analytics and data-driven development  techniques
  ● Low-code development techniques
  ● Architectural patterns of simulators in digital twinning
  ● Fidelity, scalability, reliability, trust, and security of simulators
  ● Standards, standardization, and certification of simulators
  ● Verification, Validation, and Uncertainty Quantification (VVUQ)
  ● Techniques for handling uncertainty, reliability, and explainability
  ● (Co-)simulation-based verification, optimization, and monitoring
  ● Digital twins for dynamic system (re)configuration and optimization
  ● Digital twins in support of the Digital Thread
  ● Human factors in digital twins, such as simulation for or by the human-in-the-loop, digital twins as a training environment, etc.
  ● Case studies, industry applications, and experience reports

• High Performance Computing and Simulation (HPC)

  Track Chairs:

  • James Nutaro, Oak Ridge National Laboratory, Oak Ridge, Tennessee, USA, nutarojj@ornl.gov
  • Francisco M. García, Universidad Complutense de Madrid, Madrid, Spain, francg18@ucm.es

   

  The increasing power of computers has significantly extended the application of high computing methodologies in both research and industry, enabling the quantitative study of complex phenomena. This track aims to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners, and experts from world-leading universities, institutions, agencies, and companies in the field of Computational Science and High-Performance Computing (HPC) for Modeling and Simulation.

  The intent of this track is to offer an opportunity to express and confront views on trends, challenges, and state-of-the-art developments in diverse application fields such as engineering, physics, chemistry, biology, life sciences, geology, medicine, ecology, sociology, traffic control, and economy. Professionals will have the opportunity to present significant applications, new approaches, cutting-edge techniques, and results, and to discuss research challenges related to the use of HPC to support the modeling and simulation of various systems.

  A particularly exciting and rapidly growing area within the HPC landscape is the integration of Quantum Computing Systems (QCS). While still emerging and facing important challenges such as scalability and reliability, QCS presents promising opportunities to enhance computational performance and solve problems more efficiently than classical systems. Moreover, HPC infrastructures will play a key role in allowing the community to design and implement the different layers of QCS, such as control, optimization during compilation, error correction, resource estimation, and noise reduction. The integration of HPC and QCS systems, whether physically co-located or through the cloud, offers new scenarios for modeling and simulating complex problems across a range of scientific fields. However, significant research is needed to fully realize the potential of these hybrid systems.

  The topics of the High-Performance Computing Track include, but are not limited to:

  • High-performance computing in modeling and simulation of systems.
  • MPI, OpenMP, GPGPU implementation, and benchmarking of various systems models.
  • Integration of HPC and QCS systems for enhanced computational performance.
  • High-performance computing as a service for QCS: simulating quantum systems and co-processing the quantum computing stack.
  • Nature-inspired inherent parallel techniques, such as Cellular Automata, implementations for high-performance computing applications.
  • High-performance algorithms for modeling and simulation.
  • Hybrid HPC-QCS algorithms for modeling and simulation.
  • High-performance computing in computational science: intra-disciplinary and multi-disciplinary research applications.
  • High-performance computing and quantum computing applications to physics, chemistry, biology, geology, engineering, medicine, ecology, economics, and social science.
  • Hardware approaches to high-performance computing in modeling and simulation of systems.
  • Infrastructure deployment, interconnectivity, and interoperability of HPC-QCS systems.
  • Tools based on systems models and high-performance computing in the field of urgent computing.
  • Knowledge transfer across interdisciplinary communities involved in HPC and QCS.

• Humans Agents and Cooperative Artificial Societies (HACAS)

  Track Chairs:

  • Thomas Clemen, HAW Hamburg, Hamburg, Germany, thomas.clemen@haw-hamburg.de
  • Kathleen Salazar-Serna, Pontificia Universidad Javeriana, Cali Colombia, Kathleen.salazar@javerianacali.edu.co

  The term “human agent” combines concepts such as artificial societies, virtual crowds and synthetic populations. These concepts are used in various fields, such as smart city planning, emergency management and national security. Agent-based simulation models involving human agents can capture the decision-making processes of individuals as they interact with and respond to other individuals and their environment. They are also used for various research tasks, such as policy decision support, what-if scenarios, predictive modeling, and guiding data collection.

  Of particular interest are artificial societies in which the behavior of individual agents is guided by findings from computational social sciences and calibrated using data from the real world. These heterogeneous, often cooperative agents participate in social networks, which can be physical (e.g. workplaces, schools, sporting events) or virtual (e.g. chat groups with shared interests). Human agents are generally mobile in an environment where they are exposed to social factors and physical constraints. Since multi-agent systems are based on the distributed AI paradigm, autonomy and learning, e.g. in the form of reinforcement learning, are essential components of the system.

  Despite the many applications and resulting publications, there remain basic methodological challenges in modeling realistic human behavior. These challenges include agent representation, construction of behavioral rules, incorporation of behavioral theories and their assumptions, validation and calibration of models representing complex social phenomena, and the detection and management of emergent behavior at the societal level.

  Therefore, authors are encouraged to submit papers related to, but not limited to, the following areas:

  • Design and implementation of human agents and artificial societies (e.g., case studies, analyses of moral and ethical considerations).
  •  LLM (Large Language Model)-based agents.
  • Learning / intelligent agents.
  • The role of the non-stationary environment for the simulation result.
  • Applications of human agents and cooperative artificial societies (e.g. modeling of group decisions and collective behavior, emergence of social structures and norms, dynamics of social networks).
  • Data collection for artificial societies (e.g., using simulations to identify data gaps, population simulations with multiple data sources, use of the Internet of Things).
  • Participatory modeling and simulation
  • Policy development and evaluation through simulations
  • Improved models of social behavior
  • Simulations of societies as public educational tools
  • Mixed-methods (e.g., analyzing or generating text data with artificial societies, combining machine learning and artificial societies)
  • Models of individual decision-making, mobility patterns, or socio-environmental interactions
  • Testbeds and environments to facilitate artificial society development
  • Addressing longstanding challenges (model validation, re-use, communication)

• Machine Learning and AI in Simulation (MLAIS)

  Track Chairs:

  • Avleen Malhi, University of Warwick, Coventry, UK, avleen.malhi@warwick.ac.uk
  • Bianica Pires, The MITRE Corporation, McLean, Virginia, USA, bpires@mitre.org

   

  Modeling and Simulation (M&S) have made significant strides in enhancing our understanding of complex systems, improving the ability to predict future states, and enabling the development of (near-)optimal interventions and policies across diverse domains. With the rapid advancements in artificial intelligence and machine learning (AI/ML), there is now unprecedented potential to optimize simulation parameters, train agent behaviors dynamically, and adapt simulation environments through real-time observations and evolving data. The goal of this track is to expand the horizons of human knowledge by integrating the latest AI/ML technologies with M&S.

  This Machine Learning and AI in Simulation (MLAIS) track provides a dedicated platform to share insights, research methodologies, and applications that address the intersection of AI/ML and M&S. It focuses on exploring how cutting-edge AI/ML techniques such as knowledge reasoning, computer vision, natural language processing, deep learning, and reinforcement learning can enhance Modeling and Simulation practices and, conversely, how Modeling and Simulation can be leveraged to advance AI/ML solutions. We invite full papers (up to 12 pages) presenting original research on the use of AI/ML in Modeling and Simulation, as well as interdisciplinary work that pushes the boundaries of both fields. Oral presentations will be the format for this track, fostering dynamic discussions around innovative ideas and findings. Topics of interest include, but are not limited to:

  • Enhancing validation and verification (V&V) processes with AI and ML
  • AI/ML techniques for training and evolving autonomous agents within simulations
  • Best practices for the convergence of AI, ML, and simulation
  • Using M&S to generate synthetic data for training AI/ML models
  • Empirical evaluations of state-of-the-art AI/ML methods in M&S
  • Facilitating experimentation and simulation optimization using AI/ML
  • Using M&S as a tool to advance AI/ML research and solutions
  • Developing simulation modeling tools and methodologies that integrate AI/ML
  • Visionary approaches for the future of AI/ML in simulation

   

  This track aims to explore and uncover the full potential of AI/ML in driving the next generation of M&S innovations

• Modeling and Simulation for Sustainability and Smart Energy Systems (S&SES)

  Track Chairs:

  • James Nutaro, Oak Ridge National Laboratory, Oak Ridge, Tennessee, USA, nutarojj@ornl.gov
  • Dominique Blouin, Telecom Paris, Institut Polytechnique de Paris, Palaiseau, France, dominique.blouin@telecom-paris.fr

   

  Standing at the center of climate change, sustainability is the greatest challenge and opportunity of this century. A new generation of sustainable systems will incorporate increasingly sophisticated sensing, control, and communication technologies that maintain or improve performance while using smart management to consume less energy and material. The new capabilities created by these “smart” systems have the potential to radically transform our economy. At the same time, smart systems necessarily include complex software that must be cost-effective and perform reliably while overseeing critical tasks.

  Modeling and Simulation (M&S) plays an indispensable role in achieving the simultaneous goals of reliability and affordability by providing virtual venues in which to explore requirements, test new materials and physical instruments, develop new algorithms, and perform software testing. This track invites papers describing novel uses of modeling and simulation to create and demonstrate systems that strive towards smart energy management and a sustainable future. We welcome collaborative works with different and disjoint disciplines such as computer and data sciences, energy, applied math, or environmental sciences.

  Topics of interest include, but are not limited to:

  • Decision making for sustainability and energy management.
  • Environmental and emerging simulation challenges of sustainable systems.
  • Building energy systems, including HVAC and energy management systems.
  • Smart power grids and micro-grids.
  • Energy-efficient cloud computing.
  • Internet of Things energy consumption.
  • Sustainable cities.
  • Carbon emission mitigation strategies.
  • New or more efficient forms of power generation.
  • ML applications for sustainability concerns.
  • Twin city sustainability.

• Modeling and Simulation in Cyber Security (MSCS)

  Track Chairs:

  • Sachin Shetty, Old Dominion University, Norfolk, VA, USA sshetty@odu.edu
  • Danda Rawat, Howard University, Washington, DC, USA db.rawat@ieee.org

   

  Modeling and Simulation as well as digital twin has the ability to improve our understanding and gain better insights into the exploitability and impact of the threat landscape in cyber systems underpinning several critical infrastructures. The emergence of the Internet of Everything has resulted in the growth in interactions between humans, physical and cyber systems and there is an increased need to understand how these interactions could be exploited by adversaries. Modeling and simulation provide a cost-effective means to support research, development, refinement, deployment, and evaluation of the next generation of security solutions for preventing, detecting, and recovering from cyber-attacks and failures. The goal of this track is to provide a forum to present and discuss advancements in research, tools, techniques, solutions, best practices, and heuristics related to the modeling and simulation of cybersecurity. The symposium will address all aspects of modeling, analyzing, design, simulation, implementation, deployment and management of security algorithms, protocols, architectures and systems. We encourage submissions related to all aspects of cybersecurity in a modeling and simulation context in a broad spectrum of application areas.

  Topics of interest include, but are not limited to:
  ● Digital twins for cybersecurity for emerging systems
  ● Formal models for cybersecurity simulation
  ● Cybersecurity evaluation and assessment approaches
  ● Test beds and experimental infrastructure for cybersecurity simulation
  ● Simulation platforms for cybersecurity assessment
  ● Hybrid simulations for cyber physical system security
  ● Modeling and Analysis of Networked security systems
  ● Modeling security and privacy in mobile and cellular networks
  ● Modeling security for future Internet architectures
  ● Risk assessment and management
  ● Systems engineering for security

  •  

   

   

   

• Modeling and Simulation in Medicine (MSM)

  Track Chairs:

  • Michel Audette, Old Dominion University, Norfolk, VA, USA, maudette@odu.edu
  • Jerzy W. Rozenblit, University of Arizona, Tucson, AZ, USA, jerzyr@arizona.edu

   

  The past two decades have brought about a dramatic increase in the deployment of simulation-based techniques in medicine, healthcare, and human performance models. Simulation scenarios are used extensively for training of medical personnel, students, first responders, and emergency response coordinators. Rapid advances in computer technologies, biomedical engineering, and systems engineering drive the development of cyber-physical systems that serve as simulation-based training platforms. Discrete-event and agent-based models are applied to representing population-based scenarios ranging from clinics to geographical epidemiology scenarios and asking what-if questions for improved outcomes. Physiological processes are modeled and discretized through coupled equations, both in isolation and in integrative physiology contexts. Increasingly, there is also an interest in modeling these processes at several scales, spanning the molecular, to cellular, to tissue and organ-wide scales. However, it is clear that methodological and theoretical foundations need to be strengthened to provide integrated, connected, and cross-cutting solutions for modeling and simulation in medicine, healthcare and human performance optimization. Thus, this meeting will attempt to “connect” researchers, developers, and medical practitioners to define unifying themes conducive to such solutions.

  The conference will focus on (but is not limited to) the following topical areas:

  • Modeling and simulation in medicine: fundamental research.
  • Training and education.
  • Care delivery, outcomes, and patient’s safety.
  • Robotics and its applications in training and “in vivo”.
  • Life-critical systems.
  • Systems integration: “connected health”.
  • Cybersecurity and healthcare.
  • Human performance and ergonomics models.
  • Discrete-event and agent-based approaches to healthcare.
  • Physiological modeling, from single-system to integrative approaches.
  • Multi-scale modeling and simulation in medicine.
  • Descriptive anatomical modeling for medical simulation.

   

  Papers are solicited to address the above and related areas with focus on both the underlying methodological and theoretical foundations and practical applications.

• Simulation in Education and Training (SET)

  Track Chairs:

  • Ghaith Rabadi, School of Modeling, Simulation, and Training, University of Central Florida, Orlando, Florida, USA, ghaith.rabadi@ucf.edu
  • Jalal Possik, Université Catholique de Lille, Lille, France, jalal.possik@univ-catholille.fr

   

  The SET track is seeking submissions for papers, panels, and workshops related to the following two areas:

  Simulation Education: This area focuses on teaching and learning simulation in engineering, sciences, social sciences, or any other discipline where simulation techniques are used in traditional or online settings. We welcome submissions that discuss and share pedagogical models, best practices, lessons learned, program/course projects, tools, case studies, and other resources for training the next generation of simulation experts.

  Simulation-Based Learning (SBL): SBL refers to the use of simulation models and tools to enrich teaching and learning. SBL offers a wide range of opportunities for experiential learning and to practice critical thinking, problem-solving, and decision-making. Research shows that SBL is among the most effective ways to learn complex skills across different domains as it enables knowledge application in a virtual yet realistic environment. Moreover, SBL educational experiences can be made available to geographically dispersed students in support of remote and online learning. All learning situations are of interest (formal/informal, in-person/distance learning, K-12, Higher Education, Professional Training, Continuing Education, etc.)

  We encourage contributions that explore emerging trends in both Simulation Education and SBL, highlighting the potential of these tools to reshape education in the years ahead. Submissions from educators, academic researchers, industry professionals, instructional designers, educational technologists, and interdisciplinary teams are welcome, as we seek to uncover the full potential of simulation in transforming educational practices.

  Topics of interest include, but are not limited to:

  • Implementation and assessment of SBL in courses from any domain (engineering, sciences, social sciences, etc.).
  • Problem-/project-based, experiential, and collaborative learning via SBL.
  • Skill development and workforce training via SBL.
  • SBL in online, in-person, and blended learning models.
  • Immersive simulated learning environments (augmented, virtual, and mixed reality, immersive game-based learning).
  • Comparative studies on the effectiveness of SBL vs other teaching and learning methods.
  • Learning analytics in SBL.

• Simulation of Architectural and Urban Design (SimAUD)

  Track Chairs:

  • Mohamed Aly Etman, University at Buffalo, Buffalo, USA, maetman@buffalo.edu
  • Gabriel Wurzer, TU Wien, Vienna, Austria, wurzer@dap.tuwien.ac.at
  • Angelos Chronis, infrared.city and Austrian Institute of Technology, Vienna, Austria, angelos.chronis@infrared.city

  Website:   https://www.simaud.org/2025/

  We invite you to submit your original research to SimAUD 2025, as part of ANNSIM 2025, where we gather thought leaders in simulation, architecture, and urban design. SimAUD provides a unique platform for researchers, practitioners, and innovators to explore and advance the use of computational tools and simulation in addressing the challenges of modern urbanization and sustainable design. As buildings account for a substantial share of global energy consumption and greenhouse gas emissions, there is an urgent need for scalable, data-driven approaches to achieve climate-resilient, net-zero, and occupant-centric environments.

  SimAUD welcomes a broad range of topics that address the application of simulation and computation in architecture and urban design, particularly those that incorporate emerging technologies and interdisciplinary methods. This year’s topics of interest include:

  • ⁠Simulation, Data-Driven, and Generative Design for Sustainability
  • ⁠Whole Building and Urban-Scale Energy Simulation
  • ⁠Net-Zero Building Systems and Energy Resilience
  • ⁠Multidisciplinary Design Optimization
  • ⁠Occupant Behavior Modeling and Human-Centric Design
  • ⁠Thermal Comfort, Air Quality, and Occupant Health
  • ⁠Advanced Lighting, Daylighting, and Acoustics Simulation
  • ⁠Microclimate, Airflow, and Urban Heat Island Modeling
  • ⁠Digital Twins and Predictive Maintenance for Smart Buildings
  • ⁠Interactive Environments, Responsive Facades, and Biophilic Design
  • ⁠Robotic Fabrication, Material Performance, and Structural Simulation
  • ⁠Immersive Technologies (AR/VR) in Design Visualization and Collaboration

  We encourage submissions from diverse disciplinary perspectives and across various project scales, from individual buildings to entire urban ecosystems. All accepted papers will be published and presented during the conference, contributing to a growing body of knowledge and fostering innovation in sustainable and resilient urban design.

• Theory and Foundations for Modeling and Simulation (TMS)

  Track Chairs:

  • Gabriel Wainer, Carleton University, Ottawa, Canada, gwainer@sce.carleton.ca
  • Paolo Bocciarelli, University of Rome Tor Vergata, Rome, Italy, paolo.bocciarelli@uniroma2.it

  The TMS Track serves as a dynamic platform for showcasing the latest advancements in the Theory and Foundations of Modeling and Simulation. Emphasizing the breadth of concepts, methodologies, practices, and toolkits in the field, the TMS Track invites submissions of unpublished papers that explore these topics and beyond, aiming to enrich and expand the theoretical and foundational aspects of Modeling and Simulation. This initiative seeks contributions that enhance our understanding and development of systems in the fields of networks and computers, cyber-physical systems, applications in nature (physics, chemistry, biology), as well as social applications.

  Selected topics include:

  • Modeling & Simulation Formalisms (Actors, DEVS, Petri nets, Statecharts, etc.)
  • Multi-formalism Modeling, Hybrid Modeling Languages, Multi-Modal Modeling
  • Multi-Resolution/Multi-Scale Modeling, Multi-Paradigm/Multi-Domain Modeling
  • Model Checking, Formalism-Based Model Debugging, Model Transformation
  • Parallel, Distributed, Real-Time, Cloud-Based, and Interactive Simulation
  • Modular Hybrid, Spatially Distributed, and Ultra Large-Scale Systems
  • Co-simulation, Interoperability, Simulation Languages, Numerical Solvers
  • Embedded, IoT, and Fog Computing Modeling and Simulation Software
  • Theory for Modeling Cyber-Physical Systems and Digital Twins
  • Theory and Methodologies for Business Process M&S (Human-in-the-loop, resources modeling, processes optimization, etc.)
  • Model Development and Simulation Visualization Tools
  • Model Libraries, Repositories, and Data Formats
  • Data-driven simulation inferencing and learning

  Keynote information

  AI-assisted Metamorphic Testing for Domain-specific Modelling and Simulation

  Professor Dr. Juan de Lara Computer Science at Universidad Autónoma, Madrid Spain Location: Classroom 14: Wednesday, May 28, 2025, 9:00 a.m.—10:30 a.m.

  Abstract:

  Testing is essential to improve the correctness of software systems. Metamorphic testing (MT) is an approach especially suited when the system under test lacks oracles, or they are expensive to compute. However, building an MT environment for a particular domain (e.g., cloud simulation, automated driving simulation, production system simulation, etc) requires substantial effort.
  To alleviate this problem, we propose a model-driven engineering approach to automate the construction of MT environments, which is especially useful to test domain-specific modelling and simulation systems. Starting from a meta-model capturing the domain concepts, and a description of the domain execution environment, our approach produces an MT environment featuring comprehensive support for the MT process. This includes the definition of domain-specific metamorphic relations, their evaluation, detailed reporting of the testing results, and the automated search-based generation of follow-up test cases.
  In this talk, I will present the approach, along with ongoing work and perspectives for integrating intelligent assistance based on large language models in the MT process. The work is a joint collaboration with Pablo Gómez-Abajo, Pablo C. Cañizares and Esther Guerra from the miso research group.

  Biography:

  Juan de Lara is full professor at the computer science department of the Universidad Autónoma of Madrid (Spain), where he leads the modelling and software engineering research (miso) team together with Esther Guerra. His main research interests are in automated software engineering, model-driven development, low-code development, domain-specific languages and language engineering, conversational agents and intelligent assistants. This research has led to building many practical tools including Asymob, AToM3, metaDepth, merlin, and Gotten – and the publication of more than 270 papers in international journals and conferences. He has been the PC co-chair of several conferences within his research areas, like MODELS, SLE, ICGT, ICMT and FASE, he is on the editorial board of the SoSyM journal (Springer), and has been involved in the organization of workshops on topics like flexible modelling, multi-level modelling and low-code development.

• ANNSIM 2025 Other Submission Types

  Ph.D. Colloquium

  Track Chairs:

  • Cristina Ruiz Martín, Carleton University, Ottawa, Canada, cristinaruizmartin@sce.carleton.ca
  • Josué Pagán, Technical University of Madrid, Madrid, Spain, j.pagan@upm.es

  The Ph.D. colloquium is a great opportunity for Ph.D. students to present their progress and get constructive feedback from the Modeling and Simulation experts before completing their thesis. Accepted applicants will showcase their work via a short presentation followed by a discussion with the attendees. In addition to receiving valuable feedback, the students get the chance to network for future collaborations and a swift introduction to the research community.

  Who should participate?

  Students at all stages of their Ph.D. program who are working on a thesis topic relevant to ANNSIM tracks are encouraged to participate in this track.

  Submissions Requirements

  • Students interested in participating in the colloquium should submit a 2-page description of their dissertation. The abstract should have a single author (the student) and must be formatted using the Submission Guidelines on the conference page (https://scs.org/annsim). The advisor should be included in the acknowledgments.
  • The advisor of the participating student must e-mail a letter of recommendation in support of the student’s application to the Ph.D. Colloquium chairs (cristinaruizmartin@sce.carleton.ca, j.pagan@upm.es) with the subject “ANNSIM 2025 Ph.D. Colloquium Recommendation”. This letter should include the student’s name, a candid assessment of the current status of their dissertation research, a list of publications on the topic so far (if any), and an expected date for dissertation submission.

  Process

  Submissions will be reviewed by at least two members of the Ph.D. Colloquium committee. Authors of selected submissions must attend the conference and present their work during the conference to get feedback from the Colloquium panel. The 2-page submissions will be available on the conference website, but they will not be archived in the proceedings.

  A Best PhD Colloquium Presentation Award and a runner-up will be awarded at the end of the PhD Colloquium session.

  Important Dates

  The Ph.D. Colloquium will follow the deadlines of the conference. Please refer to the conference main page for more details.

  Tutorials/Workshops

  Track Chairs:

  • Scott Rosen, The MITRE Corporation, McLean, VA, USA, srosen@mitre.org
  • Gulesin Sena Das, De Montfort University, Leicester, United Kingdom, sena.das@dmu.ac.uk
  • Souvik Barat, Tata Consultancy Services Research, Pune, India, souvik.barat@tcs.com

  The Annual Modeling and Simulation Conference (ANNSIM) offers conference attendees a stimulating and informative selection of tutorials reflecting current topics in the Modeling and Simulation (M&S) domain. Therefore, we invite experts in the M&S domain to present engaging tutorials at the ANNSIM 2025 conference. Tutorials provide researchers and practitioners with the opportunity to introduce their applications, tools, methodologies, or theories in 90-120 minute sessions.

  Tutorials can be introductory, oriented toward participants who are interested in broadening their knowledge, or advanced, for participants who seek the latest advances in M&S. We encourage M&S researchers and practitioners in academia, government agencies, or industry to submit proposals for tutorials. Topics of interest include M&S theories, methodologies, and tools applied to any domain.

  While both tutorials and workshops are designed to educate participants, they differ in their format and focus. A tutorial typically focuses on teaching specific skills, tools, or methodologies through structured presentations and demonstrations. It is more lecture-based, with the primary goal being to provide practical knowledge or insights to the attendees. In contrast, a workshop is more interactive and collaborative, often involving group discussions, hands-on activities, or problem-solving sessions. Workshops aim to engage participants more directly and may include the submission of papers or other contributions.

  Proposals should be one to two pages and must include the following information:

  • Title of the workshop/tutorial and description (max 2 pages)
  • Organizers and their affiliations (including short bios)
  • Expected duration of the workshop/tutorial: 90 minutes, 120 minutes, a half-day, or full day.

  If the proposal type is:

  • Workshop: Provide a sample call for papers, including workshop main topics.
  • Tutorial: Provide an abstract of the tutorial (up to 2 pages). A tutorial may submit a full paper to one of the related technical tracks, and if accepted after peer-review, it will appear in the conference proceedings.

  Tutorial/workshop proposals should be submitted to the tutorial/workshop section in the conference system.

2024 Sponsors: