[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
