The Coq mailing list

["Pretschner, Alexander" <alexander.pretschner AT tum.de>]

CALL FOR PARTICIPATION


MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND 
DEPENDABLE SOFTWARE SYSTEMS

July 29th-August 7th, 2020, Marktoberdorf, Germany

http://marktoberdorf.fortiss.org 


Sponsored by Amazon Web Services, https://aws.amazon.com/de/ 

Organized by fortiss, https://www.fortiss.org/en/ 


APPLY ONLINE ON OR BEFORE APRIL 19th:
https://i4.pages.gitlab.lrz.de/organization/mod-2020/participation 



*** Lectures, see 
https://i4.pages.gitlab.lrz.de/organization/mod-2020/lectures ***
    Marsha Chechik, University of Toronto: tba
    Mike Dodds, Galois, Inc.: Formal methods at scale
    Cédric Fournet, Microsoft Research: tba
    Xiaowei Huang, University of Liverpool: Safety Certification of Deep 
Neural Networks
    Guy Katz, Hebrew University of Jerusalem: Formal Verification of Deep 
Neural Networks
    Rustan Leino, Amazon Web Services: Program Proofs
    Peter Müller (co-director), ETH Zurich: Verification of Rust Programs - 
Reasoning about Imperative Programs using Ownership
    Frank Piessens, KU Leuven: Software security: cross-layer attacks and 
defenses
    Alexander Pretschner (co-director), TU München and fortiss: Testing 
Autonomous Cars
    Cesare Tinelli, University of Iowa: Theory and practice of Satisfiability 
Modulo Theories


*** Objective: ***
Almost all modern technical systems rely crucially on software.
Communication, transportation, financial services, healthcare, power supply, 
military defense, and many other aspects of modern societies require software 
systems that are both safe and secure. Safe software behaves according to its 
specification and, in particular, avoids hazards for the environment it is 
used in. Secure software ensures the confidentiality, integrity, and 
availability of data, even when a system is attacked by an adversary. Both 
safety and security violations potentially cause considerable economic, 
political, and physical damage. So, improving our understanding of safety and 
security and, thereby, enhancing our ability to construct safe and secure 
systems is a vital challenge for our society.

The lectures in this summer school give an overview of the state of the art 
in the construction and analysis of safe and secure systems. Starting from 
the logical and semantic foundations that enable reasoning about classical 
software systems, they extend to the development and verification of 
cyber-physical systems, which tightly combine computational and physical 
components, and have become pervasive in aerospace, automotive, industry 
automation, and consumer appliances. Safety and security have traditionally 
been considered separate; however, several lectures in this summer school 
will emphasize their commonalities and present analysis and construction 
techniques that apply to both.


*** Marktoberdorf Summer School ***
As a follow-up to the famous 1968 conference in Garmisch-Partenkirchen, 
Professor F.L. Bauer from the Technical University of Munich co-organized the 
first Marktoberdorf Summer School in 1970. We are happy to announce the 41st 
edition of the most prestigious summer school on software engineering in 2020.


--
Alexander Pretschner
www4.in.tum.de  – www.fortiss.org – www.bidt.digital 
trend radar for SW technologies: https://cce.fortiss.org/trends/radar

Attachment: smime.p7s
Description: S/MIME cryptographic signature