Symposium

event

Visible to the public  Aviation ISAC 2020 Student Cyber Challenge
Sep 23, 2020 8:30 am - 4:30 pm EDT

We are organizing a virtual aviation-focused cybersecurity competition (called the Aviation ISAC Collegiate CTF Competition) on Sept. 23rd (8:30am-4:30pm EDT) at the A-ISAC Virtual Symposia. This is free and open to teams of 3 students from any college/university. There can be multiple teams from each institution. Cash prizes for the top-3 teams. There will be industry mentors virtually assisting, so networking opportunities exist as well.

event

Visible to the public  HoTSoS 2020 - Virtual
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium

September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos

event

Visible to the public  2015 CPS Community Forum (at CPS Week 2015)
Apr 14, 2015 8:00 pm - 9:30 pm PDT

CPS Community Forum

Tuesday, April 14, 2015

8:00 p.m. - 9:30 p.m.

event

Visible to the public  RTSS 2015
Dec 01, 2015 8:00 am - Dec 04, 2015 5:00 pm CST

The 36th IEEE Real-Time Systems Symposium (RTSS'15)

sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

event

Visible to the public  EICS 2023
Jun 27, 2023 7:00 am - Jun 30, 2023 5:00 pm BST

Fifteenth international ACM SIGCHI Symposium on Interactive Computing Systems

EICS 2023 is the fifteenth international ACM SIGCHI conference devoted to engineering interactive computing systems and their user interfaces, addressing one or more software quality factors, such as usability, user experience, reliability, security, etc.

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  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  FROM 2022
Sep 19, 2022 6:45 am - Sep 20, 2022 7:45 pm CEST

Working Formal Methods Symposium - FROM 2022

event

Visible to the public  ATVA 2022
Oct 25, 2022 6:45 pm - Oct 28, 2022 7:45 pm +07

International Symposium on Automated Technology for Verification and Analysis

About

Notice: The organizers of ATVA 2022 decided that ATVA 2022 will be hybrid in the sense that the authors can choose to attend physically or virtually, depending on their specific situations, including visas, flights, etc.

event

Visible to the public  RAID 2022
Oct 26, 2022 7:00 am - Oct 28, 2022 6:30 pm CEST

The 25th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2022), 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 2022 will be held in Limassol, Cyprus on 26-28 October, 2022.

Attendees are from prestigious universities, government and high technology companies all over the world.