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.  
Submitted by Anonymous on September 16th, 2020
ACM Conference on Computer and Communications Security (ACM CCS 2020) The ACM Conference on Computer and Communications Security (CCS) is the flagship annual conference of the Special Interest Group on Security, Audit and Control (SIGSAC) of the Association for Computing Machinery (ACM). The conference brings together information security researchers, practitioners, developers, and users from all over the world to explore cutting-edge ideas and results. It provides an environment to conduct intellectual discussions.
Submitted by Anonymous on July 24th, 2020
Event
HSCC 2020
CPSWeek 2020 HSCC 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020) Dear Colleagues,   The virtual/online program of CPSWeek/HSCC 2020 will take place this week, Thursday and Friday. Participation is free.  To register go to https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/     HSCC 2020's live virtual program is at https://berkeleylearnverify.github.io/HSCC_2020/program.html   Stay safe and see you Thursday.
Submitted by Anonymous on April 23rd, 2020
Important Update: American Modelica Conference postponed due to Coronavirus  The American Modelica Conference 2020 will still be held at the University of Colorado in Boulder, Colorado, the United States of America at a time still to be determined later in 2020 Workshop on Cyber-Physical System Modeling Using Modelica for Smart and Sustainable Communities Part of the American Modelica Conference 2020
Regan Williams Submitted by Regan Williams on February 17th, 2020
Call for Papers CPS & IoT'2020 8th International Conference on Cyber-Physical Systems and Internet-of-Things Budva, Montenegro June 8-11, 2020
Regan Williams Submitted by Regan Williams on December 9th, 2019
COVID-19 UPDATE
Regan Williams Submitted by Regan Williams on October 10th, 2019
Summary report from the 2020 PIRE summer research experience.
Katie Dey Submitted by Katie Dey on August 16th, 2021
Symposium on "Web and Internet Policy" Wednesday, December 9, 2020 (2.00 pm to 6.30 pm Berlin time) Participation is free of charge and is in cooperation with the Weizenbaum Institute for the Networked Society, Berlin. Register at https://plamadiso.weizenbaum-institut.de/web-internet-policy-symposium/ The speakers of the symposium will present their work on the intersection of data analytics, computer science, economics, law, and engineering: Session I – Privacy and Discrimination on the Web:
Submitted by Anonymous on December 8th, 2020

Secure and Trustworthy Cyberspace (SaTC)

PROGRAM SOLICITATION
NSF 21-500

REPLACES DOCUMENT(S):
NSF 19-603

National Science Foundation

Directorate for Computer and Information Science and Engineering
     Division of Computer and Network Systems
     Division of Computing and Communication Foundations
     Division of Information and Intelligent Systems
     Office of Advanced Cyberinfrastructure

Regan Williams Submitted by Regan Williams on October 15th, 2020

The ARCH 2020 Best Result Award goes to Luis Benet, Marcelo Forets, Daniel Freire, David P. Sanders, and Christian Schilling (in alphabetical order) for their verification tool JuliaReach. The award comes with a 500 Euro prize. Congratulations!

Goran Frehse Submitted by Goran Frehse on August 4th, 2020
Subscribe to 2020