The USENIX Security Symposium brings together researchers, practitioners, system programmers, and others interested in the latest advances in the security and privacy of computer systems and networks.

The purpose of the International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics.

The LSEA (Embedded and Autonomous Systems Design Laboratory) at CEA LIST offers a post-doc position.

The joint conference IEEE Space Mission Challenges for Information Technology (SMC-IT) and IEEE Space Computing Conference (SCC) is seeking submissions to co-located workshops.

The 18th International Conference on Reachability Problems (RP'24) is being organised as a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien.

The University of York’s Department of Computer Science and Leonardo UK are collaborating in an Innovate UK funded Knowledge Transfer Partnership (KTP), aiming to develop a model-based software architecture digital platform that will support the…

The MULTI workshop series is the premier venue for researchers and practitioners working on multi-level modeling and multi-level software development. Multi-level modeling represents a new object-oriented paradigm for both conceptual modelling and…

The International Conference on Engineering DTs (EDTconf) aims to bring together researchers and practitioners on DTs, from both academia and industry, and from different engineering disciplines and application domains to shape the future of…

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

MoM workshop’s first edition aims to bring together international researchers and practitioners from academia and research for an intense one-day workshop. The goal is to further the state-of-the-art in MoM, develop new collaborations, and define future…

The 2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2024) symposium offers a unique forum for academics, industry professionals, and researchers to showcase their latest findings in the fields of Distributed…

We cordially invite you to submit papers that revolve around collaborative and/or participatory modeling. Collaboration has become a particularly important topic in model-driven and model-based engineering due to the increasing complexity of systems,…

FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. This…

The International Workshop on Rapid System Prototyping (RSP) emphasizes design experience sharing and collaborative approach between hardware and software research communities from industry and academy. It considers prototyping as an iterative design…

The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V, MBSE and MDE.

A central objective of the workshop is to provide a forum for practitioners and researchers from industry and academia in which novel, innovative, model-based solutions to current and future challenges in automotive system and software development can be…