Symposium

event

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

Submitted by Anonymous on Thu, 06/02/2022 - 1:34pm

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

Submitted by Anonymous on Thu, 06/02/2022 - 1:23pm

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.

event

Visible to the public  DS-RT 2022
Sep 26, 2022 7:00 am - Sep 28, 2022 7:00 pm CEST

Submitted by Anonymous on Wed, 06/01/2022 - 10:31am

The 2022 edition of the IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) will be held in Alès, France.

DS-RT 2022 serves as a forum for simulationists from academia, industry and research labs, for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2022 targets the growing overlap between large distributed simulations and real time applications, such as mirror world simulations and collaborative virtual environments.

event

Visible to the public  31st USENIX Security Symposium
Aug 10, 2022 7:00 am - Aug 12, 2022 6:00 pm EDT

Submitted by Anonymous on Wed, 06/01/2022 - 10:11am

The 31st USENIX Security Symposium will take place on August 10–12, 2022, at the Boston Marriott Copley Place in Boston, MA, USA. The USENIX Security Symposium brings together researchers, practitioners, system administrators, system programmers, and others interested in the latest advances in the security and privacy of computer systems and networks.

Program Co-chairs

  • Kevin Butler, University of Florida
  • Kurt Thomas, Google

 

event

Visible to the public  FM 2023
Mar 06, 2023 8:00 am - Mar 10, 2023 8:00 pm CET

Submitted by willirn1 on Thu, 04/28/2022 - 10:06am

25th International Symposium on Formal Methods

University of Lübeck, Germany
Main conference: March, 7th – 9th, 2023
Workshops, Tutorial, etc. March 6th, 10th 2023

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  FCST 2021
Dec 06, 2021 7:00 am - Dec 09, 2021 6:00 pm CET

Submitted by Anonymous on Wed, 10/20/2021 - 11:14am

4th IEEE International Symposium on Future Cyber Security Technologies (FCST 2021)

In conjunction with
The 8th International Conference on Internet of Things: Systems, Management and Security (IoTSMS 2021)

Gandia, Spain | December 6-9, 2021 (Virtual) | http://emergingtechnet.org/FCST2021/

event

Visible to the public  RTSS 2021
Dec 07, 2021 7:00 am - Dec 10, 2021 6:00 pm CET

Submitted by akarns on Wed, 10/20/2021 - 10:13am

IEEE Real-Time Systems Symposium (RTSS)

December 7-10, 2021 | Hybrid Format in Dortmund, Germany

event

Visible to the public  HPCA 2021
Feb 27, 2021 7:00 am - Mar 03, 2021 6:00 pm KST

Submitted by Anonymous on Thu, 01/14/2021 - 10:19am

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

The 27th IEEE International Symposium on High-Performance Computer Architecture (HPCA-27) provides a high-quality forum for scientists and engineers to present their latest research findings in this rapidly-changing field.

HPCA-27 will be held virtually Feb. 27 -- Mar. 3, 2021 in conjunction with PPoPP, CGO, and CC.

event

Visible to the public  IM 2021
May 17, 2021 7:00 am - May 21, 2021 6:00 pm CEST

Submitted by Anonymous on Tue, 12/08/2020 - 11:06am

IFIP/IEEE International Symposium on Integrated Network Management (IM 2021)

Sponsored by both IEEE Communications Society and IFIP Working Group 6.6

Held in odd-numbered years since 1989, IM 2021 will follow the 33 years tradition of NOMS and IM as the primary IEEE Communications Society's forum for technical exchange on the management of information and communication technology focusing on research, development, integration, standards, service provisioning, and user communities.

event

Visible to the public  DS3 Summit - Galen Hunt, Microsoft
Nov 18, 2020 9:00 am - 10:30 am CST

Submitted by Anonymous on Wed, 10/28/2020 - 11:58am

The Developing Secure Systems Summit (DS3)
Galen Hunt, Microsoft

Online event broadcast live on YouTube. Held November 18, 2020


Registration is free, but encouraged: