[TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2018: CALL FOR PARTICIPATION

Alexander Pretschner pretschn at in.tum.de
Sat Mar 10 01:26:17 EST 2018


CALL FOR PARTICIPATION


MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS

July 31st-August 11th, 2018, Marktoberdorf, Germany

An Advanced Study Institute of the NATO Science for Peace and Security Programme 
https://sites.google.com/site/marktoberdorf2018/home


APPLY ONLINE ON OR BEFORE APRIL 15th:
https://sites.google.com/site/marktoberdorf2018/participation



*** Lecturers ***
John Baras, University of Maryland: Formal Methods and Toolsuites for CPS Security, Safety and Verification

Patrick Cousot, University of New York: TBA

Vijay Ganesh, University of Waterloo: SAT and SMT Solvers: A Foundational Perspective

Sumit Gulwani, Microsoft: Programming by Examples

Arie Gurfinkel, University of Waterloo: Algorithmic Logic-based Verification

Joseph Halpern, Cornell University: An Epistemic Foundation for Authentication Logics

Rupak Majumdar: MPI-SWS Kaiserslautern: Formal Methods for Software Controlling the Physical World

Annabelle McIver, Macquarie University: Qualitative and quantitative information flow with applications to security

Catherine Meadows, Naval Research Labs: Maude-NPA and Formal Analysis of Cryptographic Protocols With Equational Theories

Peter Müller, ETH Zürich, co-director: Building Deductive Program Verifiers 

Marc Pouzet, ENS Paris: Synchronous Programming of Cyber-physical Systems

Alexander Pretschner, TU München, co-director: Accountability


*** 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 39th edition of the most prestigious summer school on software engineering in 2018.


http://www.fortiss.org/en/home




More information about the Types-announce mailing list