Theoretical aspects of cyber-physical systems.
event
Submitted by Anonymous on Thu, 07/30/2020 - 12:51pm
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 - 12:48pm
39th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2020)
Eurocrypt 2020 will take place as a virtual conference on May 11-15 2020. Eurocrypt 2020 is organized by the International Association for Cryptologic Research (IACR). The proceedings will be published by Springer in the LNCS series.
Original contributions on all technical aspects of cryptology are solicited for submission. Topics include, but are not limited to:
event
Submitted by Anonymous on Thu, 07/30/2020 - 12:28pm
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 - 11: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 - 11: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 - 5: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 - 4: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
event
Submitted by Anonymous on Tue, 07/28/2020 - 4:07pm
17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)
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.
Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:
Software Development Methods
event
Submitted by Anonymous on Tue, 07/28/2020 - 3:55pm
CREST 2020 5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
The CREST 2020 workshop is the fifth in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities.
