Email Gateway (Apr 05 2024 at 15:06): Email Gateway (Apr 05 2024 at 15:06):From: Alexander Pretschner <alexander.pretschner@tum.de>
CALL FOR PARTICIPATION
MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND
DEPENDABLE SOFTWARE SYSTEMS
August 6th - August 17th, 2024, Herrsching am Ammersee, Germany
<http://marktoberdorf.fortiss.org> http://marktoberdorf.fortiss.org
Organized by fortiss, <https://www.fortiss.org/en/>
https://www.fortiss.org/en/
*** APPLY ONLINE ON OR BEFORE MAY 5th:
<https://sites.google.com/view/marktoberdorf2024/participation>
https://sites.google.com/view/marktoberdorf2024/participation ***
*** Lectures, see <https://sites.google.com/view/marktoberdorf2024/talks>
https://sites.google.com/view/marktoberdorf2024/talks ***
Cristian Cadar, Imperial College London: Introduction to Dynamic Symbolic
Execution and KLEE
Marsha Chechik, University of Toronto: Elicitation and Formal Reasoning
about Normative Requirements
Sumit Gulwani, Microsoft, Redmond: AI-assisted Programming: Applications,
Experiences, and Neuro-symbolic techniques
Xiaowei Huang, Liverpool University: tba
Laura Kovacs, TU Wien: First-Order Theorem Proving
Rustan Leino, Amazon Web Services: Induction in deductive reasoning
Anders Möller, Aarhus University: Static Program Analysis
Peter Müller, ETH Zurich: Ownership in Program Verification - From
Separation Logic to Rust and Back
Frank Piessens, KU Leuven: Software security across abstraction layers
Alexander Pretschner, TU München and fortiss: Scenario-Based Tests for
Cyber-Physical Systems
Zach Tatlock, University of Washington: tba
Cesare Tinelli, University of Iowa: Modeling and analyzing reactive systems
with logic-based symbolic model checkers
* 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 software engineering 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 42nd edition of the most prestigious summer school on
software engineering in 2024.
Last updated: May 05 2024 at 04:19 UTC