Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
forum
Submitted by Anonymous on Tue, 10/06/2020 - 8:42am
Feb 8/9, 2021 | Virtual @AAAI-21 | https://safeai.webs.upv.es/
Important DATES (Extended)
- Paper Submission: Nov 9 - AOE time
- Acceptance Notification: Nov 30 - AOE time
- Camera Ready Version: Dec 15
SafeAI aims to explore new ideas on AI safety engineering, ethically aligned design, regulation and standards for AI-based systems.
event
Submitted by Anonymous on Tue, 10/06/2020 - 8:35am
The AAAI's Workshop on Artificial Intelligence Safety (SafeAI)
Feb 8/9, 2021 | Virtual @AAAI-21
SafeAI aims to explore new ideas on AI safety engineering, ethically aligned design, regulation and standards for AI-based systems.
event
Submitted by Anonymous on Thu, 07/30/2020 - 1:59pm
Privacy + Security Forum - Spring 2021
The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.
event
Submitted by Anonymous on Thu, 07/30/2020 - 1:53pm
Privacy+Security Forum - Fall 2020
The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.
event
Submitted by Anonymous on Thu, 07/30/2020 - 11:51am
40th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2021)
"The current situation with COVID-19 does not look promising for having a physical event in May. Hence, the IACR board decided to reschedule the event for Oct. 17-21, 2021, in hopes that in October it will be possible to hold a physical or hybrid event.
event
Submitted by Anonymous on Thu, 07/30/2020 - 11:28am
9th ACM Conference on Data and Application Security and Privacy
With rapid global penetration of the Internet and smart phones and the resulting productivity and social gains, the world is becoming increasingly dependent on its cyber infrastructure. Criminals, spies and predators of all kinds have learned to exploit this landscape much quicker than defenders have advanced in their technologies. Security and Privacy has become an essential concern of applications and systems throughout their lifecycle.
event
Submitted by Anonymous on Thu, 07/30/2020 - 10:10am
6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19)
This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.
event
Submitted by Anonymous on Thu, 07/30/2020 - 10:00am
7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH)
While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of the workshop is to bring together people from industry with researchers and tool developers interested in applying verification to continuous and hybrid systems.
event
Submitted by Anonymous on Tue, 07/28/2020 - 4:12pm
8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2020)
FormaliSE 2020 will be held virtually, with a mix of asynchronous and synchronous events.
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:15pm
Software Engineering and Formal Methods (SEFM 2020)
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
SEFM 2020 will be an entirely virtual event
