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  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  FM 2023
Mar 07, 2023 7:00 am - Mar 09, 2023 6:00 pm CET

25th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

FM 2023 is the 25th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.

Vision for the Event

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.

event

Visible to the public  PETS 2022
Jul 11, 2022 7:00 am - Jul 15, 2022 6:00 pm AEST

The 22nd Privacy Enhancing Technologies Symposium

The annual Privacy Enhancing Technologies Symposium (PETS) brings together privacy experts from around the world to present and discuss recent advances and new perspectives on research in privacy technologies. PETS/PoPETs is the premier venue for novel applied and/or theoretical research into the design, analysis, experimentation, or fielding of privacy-enhancing technologies.

Early bird registration deadline: June 11, 2022.

event

Visible to the public  SPIN 2022
May 21, 2022 7:00 am - 6:00 pm EDT

28th International Symposium on Model Checking of Software

The 28th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the The 28th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation.