2023

event

Visible to the public  RTSS 2023
Dec 05, 2023 7:00 am - Dec 08, 2023 7:00 pm CST

44th IEEE Real-Time Systems Symposium (RTSS 2023)

The IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the field of real-time systems, where researchers and practitioners showcase innovations covering all aspects of real-time systems including theory, design, analysis, implementation, evaluation and experience. RTSS'23, the 44th edition of the event, continues the trend of making RTSS an expansive and inclusive event, striving to embrace new and emerging areas of real-time systems research.

event

Visible to the public  FACS 2023
Oct 19, 2023 7:00 am - Oct 20, 2023 7:00 pm CEST

19th International Conference on Formal Aspects of Component Software

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-based systems such as service-oriented architecture, cloud and edge computing, safety-critical, hybrid and cyber physical systems, etc.

Topics

event

Visible to the public  IEEE WFIoT 2023
Oct 12, 2023 3:15 pm - Oct 27, 2023 4:15 pm WEST

9th IEEE World Forum on Internet of Things (IEEE WFIoT2023)

The 9th IEEE World Forum on Internet of Things (IEEE WFIoT2023) is the premier event of the IEEE IoT Technical Community, a multiple Society initiative aggregating the wide expertise inherent to the IoT domain. This year, the theme for WFIoT 2023 is "The Blue Planet: A Marriage of Sea and Space". We aim to recognize the increased importance that the Sea has in our daily activities and to signal the importance that Space has for our future as a sustainable society.

event

Visible to the public  RAID 2023
Oct 16, 2023 7:00 am - Oct 18, 2023 7:00 pm HKT

The 26th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2023)

Previously known as Recent Advances in Intrusion Detection, aims at bringing together leading researchers and practitioners from academia, government, and industry to discuss novel research contributions related to computer and information security. RAID 2023 will be held at the Hong Kong Polytechnic University, on 16-18 October, 2023.

event

Visible to the public  ATVA 2023
Oct 24, 2023 7:00 am - Oct 27, 2023 7:00 pm EDT

21st International Symposium on Automated Technology for Verification and Analysis

ATVA 2023 is the 21st International Symposium on Automated Technology for Verification and Analysis, dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between international research communities and industry in the field.

event

Visible to the public  MODELS 2023
Oct 01, 2023 7:00 am - Oct 06, 2023 6:00 pm CEST

ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 2023)

October 1 - 6, 2023 | Vasteras, Sweden | https://conf.researchr.org/home/models-2023

MODELS, the ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998,

event

Visible to the public  ITSC 2023
Sep 24, 2023 2:45 pm - Sep 28, 2023 3:45 pm CEST

2023 IEEE Conference on Intelligent Transportation Systems (ITSC 2023)

The 26th IEEE International Conference on Intelligent Transportation Systems (ITSC 2023) is the annual flagship conference sponsored by the IEEE Intelligent Transportation Systems Society. IEEE ITSC 2023 welcomes articles and presentations in the field of Intelligent Transportation Systems, conveying new developments in theory, analytical and numerical simulation and modeling, experimentation, advanced deployment and case studies.

event

Visible to the public  FMCAD '23
Oct 23, 2023 7:00 am - Oct 27, 2023 7:00 pm CDT

Formal Methods in Computer-Aided Design

FMCAD 2023 is the twenty-third in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

event

Visible to the public  Nullcon Goa 2023
Sep 23, 2023 7:00 am - Sep 24, 2023 7:00 pm +0545

14th Nullcon Goa

Nullcon is an annual security conference primarily held in Goa, India. It is a unique conference that recognizes multi-talents of the Information Security industry and gives them a platform to share their findings with the community.

Our objective is to find potential speakers that can showcase the next generation of offensive and defensive technology. Nullcon welcomes researchers and hackers around the world working on the 'Next Big Thing' to become a speaker via Call For Papers.

event

Visible to the public  IEEE SOC 2023
Sep 05, 2023 7:00 am - Sep 08, 2023 7:00 pm CST

36th IEEE INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE

System-on-Chip (SoC) and System-in-Package (SiP) devices, comprising digital, analog, optical, RF, and Micro-Electro-Mechanical Systems (MEMS) are foundations of ubiquitous embedded high-performance computing (HPC). Such systems will provide solutions in communication, entertainment, medical and smart mobility technologies underpinning emerging "Digital Societies".