The GEODES Software Engineering Group at Université de Montréal is seeking a postdoctoral researcher for a cutting-edge project that leverages digital twins and artificial intelligence to accelerate discoveries in the field of advanced materials.Project…

RTAS is a top-tier conference with a focus on systems with timing requirements. RTAS’25 welcomes papers describing applications, case studies, methodologies, tools, algorithms or operating systems, middleware or hardware innovations that contribute to…

CM/IEEE International Conference on Cyber-Physical Systems (ICCPS) is the premier forum for presenting and discussing the most significant recent technical research contributions in the field of Cyber-Physical Systems (CPS). ICCPS 2025 will be part of…

The Vanderbilt University School of Engineering is seeking nominations and applications for the Chair of the Department of Electrical and Computer Engineering (ECE). This position calls for a visionary leader to enhance the department's global standing…

We are implementing a two-round submission process for the Research Track, with deadlines in October 2024 and December 2024. This approach will provide authors with an opportunity to submit a revised version of their paper in the second round. Accepted…

The vision of CPS faces some core challenges of multidisciplinary research, as their relevant technologies appear in diverse areas of science and engineering. Therefore, there is an emerging consensus that new methodologies and tools are urgently needed…

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 International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all sorts of…

Important Dates AoE (UTC-12h)Thu 11 Jul 2024 - Updated: Paper submission deadlineFri 2 Aug 2024 - Notification of AcceptanceFri 16 Aug 2024 - Camera-ready SubmissionMon 26 Aug 2024 - Registration Deadline for AuthorsFri 30 Aug 2024 - Payment of…

Call For Papers: International Conference on Artificial Intelligence Revolutions (AIR 2024)Roanne, France, October 30-31, 2024 |  https://confscience.com/air/All papers accepted in AIR 2024 will be submitted for inclusion into IEEE Xplore, IEEE…

The 19th International Conference on Integrated Formal Methods (iFM) will take place from 13 to 15 November 2024 at the University of Manchester, UK.

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 NDSS 2025 Symposium and Workshops will take place in San Diego, CA, from 23 to 28 February 2025. The target audience includes everyone interested in practical aspects of network and distributed system security, with a focus on system design and…

The 31st IEEE International Symposium on High-Performance Computer Architecture (HPCA) will be held in Las Vegas, NV in 2025. HPCA is a high-impact premier venue for presenting research results on a wide range of computer architecture topics. Some topics…

The Formal Aspects of Component Software (FACS) conference series targets research in formal approaches for distributed components and services. The conferences cover topics including models, languages, analysis and verification techniques for component-…

THE 25th INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS2 ~ 6 December 2024 - Hiroshima, Japan - https://icfem2024.info/Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss…