2023

event

Visible to the public  InfoSecurity Europe 2023
Jun 20, 2023 7:00 am - Jun 23, 2023 7:00 pm BST

Threats to cybersecurity are in the limelight like never before. That's why we're dedicated to bringing together the community - not just the technology, but the people too, with the ideas, resilience and the will to protect our shared future.

Only by working together, can we keep our world safe and help unlock the true potential technology promises.

event

Visible to the public  NFM 2023
May 16, 2023 7:00 am - May 18, 2023 7:00 pm CDT

NASA Formal Methods Symposium 2023

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

event

Visible to the public  FICC 2023
Mar 02, 2023 7:00 am - Mar 03, 2023 7:00 pm EST

Future of Information and Communication Conference (FICC 2023)

Information and Communication is playing an increasing role in society and within our lives. Recognizing this, FICC 2023 aims to provide a forum to the enterprising researchers from both academia and industry to share their latest research contributions, future vision in the field of Information and Communication and its potential impact across industries.

event

Visible to the public  VTC2023-Spring
Jun 18, 2023 7:00 am - Jun 21, 2023 7:00 pm EDT

The 2023 IEEE 97th Vehicular Technology Conference

VTC2023-Spring will be held in Florence, Italy 18-21 June 2023. This semi-annual flagship conference of IEEE Vehicular Technology Society will bring together individuals from academia, government, and industry to discuss and exchange ideas in the fields of wireless, mobile, and vehicular technology.

event

Visible to the public  ICST 2023
Apr 16, 2023 7:00 am - Apr 20, 2023 7:00 pm CEST

16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)

The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2023 will include keynote addresses by eminent scientists as well as special, regular, and poster sessions.

event

Visible to the public  ETAPS 2023
Apr 22, 2023 7:00 am - Apr 27, 2023 7:15 pm CEST

European Joint Conferences on Theory and Practice of Software

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS, and TACAS, accompanied by satellite workshops.

ETAPS is supported by the ETAPS Association.

ETAPS 2023, scheduled to happen in Paris at Campus Pierre & Marie Curie, organized by Sorbonne Universite and Sorbonne Paris Nord, is the 26th event of the series.

event

Visible to the public  ANT 2023
Mar 15, 2023 7:00 am - Mar 17, 2023 7:00 pm CET

The 14th International Conference on Ambient Systems, Networks and Technologies

The 14th International Conference on Ambient Systems, Networks and Technologies (ANT 2023) is a leading international conference for researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all Ambient Systems, Networks and Technologies related areas. ANT 2023 will be held in conjunction with the 6th International Conference on Emerging Data and Industry (EDI40).

event

Visible to the public  HPCA 2023
Feb 27, 2023 7:00 am - Mar 01, 2023 7:00 pm EST

29th IEEE International Symposium on High-Performance Computer Architecture (HPCA-29)

The 29th IEEE International Symposium on High-Performance Computer Architecture (HPCA) will be held in Montreal, Canada in 2023. HPCA is a high-impact venue for presenting research results on a wide range of computer architecture topics. Some computer architecture topics of interest are listed below, but we encourage authors to contact the PC chair if they have a question regarding if a topic not listed fits:

event

Visible to the public  NDSS Symposium 2023
Feb 27, 2023 7:00 am - Mar 03, 2023 7:00 pm PST

The Network and Distributed System Security Symposium (NDSS 2023)

The Network and Distributed System Security Symposium (NDSS) is a top venue that fosters information exchange among researchers and practitioners of computer, network and distributed system security. The target audience includes those interested in practical aspects of network and distributed system security, with a focus on actual system design and implementation. A major goal is to encourage and enable the Internet community to apply, deploy, and advance the state of practical security technologies.

event

Visible to the public  SafeAI 2023
Feb 13, 2023 7:00 am - Feb 14, 2023 7:00 pm EST

The AAAI's Workshop on Artificial Intelligence Safety

The accelerated developments in the field of Artificial Intelligence (AI) hint at the need for considering Safety as a design principle rather than an option. However, theoreticians and practitioners of AI and Safety are confronted with different levels of safety, different ethical standards and values, and different degrees of liability, that force them to examine a multitude of trade-offs and alternative solutions.