Symposium

event

Visible to the public  PETS 2023
Jul 10, 2023 7:00 am - Jul 15, 2023 7:00 pm CEST

Submitted by Anonymous on Fri, 05/12/2023 - 11:54am

The 23rd Privacy Enhancing Technologies Symposium

The annual Privacy Enhancing Technologies Symposium (PETS) brings together experts from around the world to present and discuss recent advances and new perspectives on research in privacy technologies. The 23rd PETS will be a hybrid event with a physical gathering held in Lausanne, Switzerland and a concurrent virtual event. Papers undergo a journal-style reviewing process, and accepted papers are published in the journal Proceedings on Privacy Enhancing Technologies (PoPETs).

event

Visible to the public  SPIN 2023
Apr 26, 2023 7:00 am - Apr 27, 2023 6:00 pm CEST

Submitted by akarns on Tue, 04/18/2023 - 9:58am

29th International Symposium on Model Checking of Software (SPIN 2023)

April 26-27, co-located with ETAPS 2023

ETAPS 2023 is scheduled to take place in Paris, organized by Sorbonne Universite.

event

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

Submitted by akarns on Tue, 04/18/2023 - 9:56am

28th International Symposium on Model Checking of Software (SPIN 2022)

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. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.

event

Visible to the public  SPIN 2021
Jul 12, 2021 7:00 pm - 6:00 am CDT

Submitted by akarns on Tue, 04/18/2023 - 9:53am

27th International Symposium on Model Checking of Software (SPIN 2021)

The 27th 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. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.

event

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

Submitted by Anonymous on Wed, 12/07/2022 - 3:11pm

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

Submitted by Anonymous on Wed, 12/07/2022 - 1:03pm

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

Submitted by Anonymous on Wed, 12/07/2022 - 9:54am

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

Submitted by Anonymous on Fri, 06/03/2022 - 4:44pm

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

Submitted by Anonymous on Fri, 06/03/2022 - 4:40pm

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

Submitted by Anonymous on Thu, 06/02/2022 - 3:31pm

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.