<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Nur Text Zchn";
margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
span.NurTextZchn
{mso-style-name:"Nur Text Zchn";
mso-style-priority:99;
mso-style-link:"Nur Text";
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-US">CALL FOR PARTICIPATION<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">August 6th - August 17th, 2024, Herrsching am Ammersee, Germany<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><a href="https://urldefense.com/v3/__http://marktoberdorf.fortiss.org__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiUx1Cr75g$"><span lang="EN-US" style="color:windowtext;text-decoration:none">http://marktoberdorf.fortiss.org</span></a>
<span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Organized by fortiss, </span><a href="https://urldefense.com/v3/__https://www.fortiss.org/en/__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiV8qN8kTQ$"><span lang="EN-US" style="color:windowtext;text-decoration:none">https://www.fortiss.org/en/</span></a>
<span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** APPLY ONLINE ON OR BEFORE MAY 5th:
</span><a href="https://urldefense.com/v3/__https://sites.google.com/view/marktoberdorf2024/participation__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiUkxdgcWw$"><span lang="EN-US">https://sites.google.com/view/marktoberdorf2024/participation</span></a>
<span lang="EN-US">***<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Lectures, see </span><a href="https://urldefense.com/v3/__https://sites.google.com/view/marktoberdorf2024/talks__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiUh0cqTXQ$"><span lang="EN-US">https://sites.google.com/view/marktoberdorf2024/talks</span></a><span lang="EN-US"> ***<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Cristian Cadar, Imperial College London: Introduction to Dynamic Symbolic Execution and KLEE<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Marsha Chechik, University of Toronto: Elicitation and Formal Reasoning about Normative Requirements<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Sumit Gulwani, Microsoft, Redmond: AI-assisted Programming: Applications, Experiences, and Neuro-symbolic techniques<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Xiaowei Huang, Liverpool University: tba<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Laura Kovacs, TU Wien: First-Order Theorem Proving<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Rustan Leino, Amazon Web Services: Induction in deductive reasoning<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Anders Möller, Aarhus University: Static Program Analysis<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Peter Müller, ETH Zurich: Ownership in Program Verification - From Separation Logic to Rust and Back<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Frank Piessens, KU Leuven: Software security across abstraction layers<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Alexander Pretschner, TU München and fortiss: Scenario-Based Tests for Cyber-Physical Systems<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Zach Tatlock, University of Washington: tba<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">Cesare Tinelli, University of Iowa: Modeling and analyzing reactive systems with logic-based symbolic model checkers<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Objective ***<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">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.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">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.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">*** Marktoberdorf Summer School ***<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US">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.<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">--<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">Alexander Pretschner, Professor<o:p></o:p></span></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://www.cs.cit.tum.de/sse/startseite/__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiXgao4YMA$"><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">Software&Systems Engineering@TUM</span></a><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">
– </span><a href="https://urldefense.com/v3/__https://www.bidt.digital/__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiWZr5GLDA$"><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">bidt</span></a><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE"> –
</span><a href="https://urldefense.com/v3/__https://www.fortiss.org/__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiWUJsgHxg$"><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">fortiss</span></a><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE"> –
</span><a href="https://urldefense.com/v3/__https://www.cdtm.de/__;!!IBzWLUs!XXqkZwYsRO38hg84GH5Iax5iEqpKRhp-ayJW7WYXigbJWMmLWXLlveE8Bx_7tIWCxntz6eONxGeRTcvArw_cIi24iRTjpakEtiUz5HNxhw$"><span lang="EN-US" style="mso-ligatures:none;mso-fareast-language:DE">CDTM</span></a><span lang="EN-US" style="mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>