coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Marktoberdorf Summer School: Call for Participation

From: Tobias Nipkow <nipkow AT in.tum.de>
To: seworld AT sigsoft.org, coq-club AT inria.fr, concurrency AT tue.nl, nvti-list AT cwi.nl, eacsl AT dimi.uniud.it, petrinets AT cs.au.dk, puml-list AT cs.york.ac.uk, probabilistic-programming-request AT lists.csail.mit.edu, las-lics AT lists.tu-berlin.de, concurrency AT listserver.tue.nl, announcements AT lists.artist-embedded.org, pvs-announce AT csl.sri.com, procos AT jiscmail.ac.uk, theorem-provers AT ai.mit.edu, fom AT cs.nyu.edu, ProofTheory.List AT gmail.com, fmics AT inrialpes.fr, theory-logic AT cs.cmu.edu, prog-lang AT diku.dk, hyscom AT dii.unisi.it, lics AT research.bell-labs.com, event AT in.tu-clausthal.de, key AT ira.uka.de, alle AT avacs.org, hol-info AT lists.sourceforge.net, cl-arg AT lists.cam.ac.uk, users AT cakeml.org
Subject: [Coq-Club] Marktoberdorf Summer School: Call for Participation
Date: Mon, 27 Feb 2017 17:06:45 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nipkow AT in.tum.de; spf=Pass smtp.mailfrom=nipkow AT in.tum.de; spf=None smtp.helo=postmaster AT mail-out1.informatik.tu-muenchen.de
Ironport-phdr: 9a23:akRAXRaMQNjzOQmmIuCjeSL/LSx+4OfEezUN459isYplN5qZps+9Yx7h7PlgxGXEQZ/co6odzbGH7ua6BydQu96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCzbL52LBi6txvdu8gZjYZhNKo61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9Zwgbpbrhy8uRJxwIDab4+aO/ViZa7dcs8WSHBdU8pNWSFMAIWxZJYPAeobOuZYqpHwqUUJrRSlBAmjHvjvwSJQiH/3xa060OMhEA/b1wEnGdIOsWzUrNbyNKYcSu21za/IwS/fb/NL3Dfx8pXHfQ44rPyKQLl+f83RyUw1GAPEiFWdsZDlPy6Q1ugXrmeU8extXv+shW4/swx9vzaiyto2hoXUho8YzkrI+TljzIs2I9CzVVR1bsS+EJRKsiGXL4t2Td0mQ2FvoCs6z6cJuZ+/fCQTz5Qn2gLfZ+Gdf4iJ5BLjWuGRIS19hH1/ZLK/hhWy/VK8yu3hT8W01UtKoTRDktbQtnACyRrT5tKaRfRj5kuh2DCP2B7P6uxcPEw5m7fXJ4Q8zrMwkpcfq1jPEjX1lUnuia+ZbEQk+uym6+T9ZbXmo4eRN4l1igHmMaQuncK+DP85MggIRWSb5fm81Lj58ULkXrpGluc2nbXBsJDGOcQboba0DBNS0oY68hqwEzOm0MkDknQcN1JEeBeHj5DzNF3UIfD4C+2/g1W2nztxyfDGJO6pPpKYNXXcl63lcZ5m6kFHzwQvi9dF6NYcAbYYZfn3R0XZtdrCDxZ/PRbwi+3gDt5gzJkTX2meKrOEPeXUtRvA4PwzIqyIZZQJkD3iKr4j47qmgHYygls1cais3N0KbnGlErJnPwHReXfwmNYHHHsRlgElCuX3zlGBFXZLenO2GqY9/S0TA5ngHIDZRcaki/qc32PzBodRbGlMC1SNCmvpfMCcQfADciuXJ85nnXkeWKG8RpQ9/RWvrxPhjbF8J+vQvCgZqdTu2MUxr+najlQ29DdvJ8CcyH2WCX1p22kFXTs32uZzrAg1wVCF2rVimfFeHs174/JSThw3L4DR1apmFt20XAaFNt6PTlG7RN6rBDw3UskZx94Vf107Es++jwvfmievCbIZm7GHQpsu/eaUx2bqYs97zXHb0qIsp1I9Ro1UL2zgjal6s0DLHYnClF6xlaexfqEV3SqL/WzF0GnK9F1YXQlqXKCARWoYeEbMtvzw5wXHTqPoBLg6dkNPzsuqIbAMbMz0y1hKWbOrAM7ZZGyNm2q3HwfO4rKXcKLlfmwc2GPWD01A2w4W/H2dHQk4HCaop3rTF3pgDxanf0Ph9vNv7Xe8QU4/5wqRKUZkyvy49gNRzeSGTPxW2rsCtw8tqjZpWlq+m5rWGsGLoA9JcKRdJ8474UxGk2PF80R5P5e7B7pvnVMXaQ93+Unj0xEyDoxKio4hq3ZuhAdsJKSE+FJHMS+FmJv0M6DMNmn7+FajZuqe2VzP+NeM8+ES6/1+p1in9AitEkcK+mtu2MIT1GGTot3KCw5XUJT/VW4z9gNmvPfBZTQn7I7a0mdjPO+yvyOGk9ktQeI/xT6kfsxDK+WPHQq0GsZcGsvqYPExlkKyRhkNP+1X8OgzJcz1WeGB3fuXO+xhlSnuq2Vf44dimhaK9jJ/TfHg3pBD3+ydmAeKAWSvxGy9u9z6zNgXLQoZGXCynHDp

MARKTOBERDORF SUMMER SCHOOL
Logical Methods for Safety and Security of Software Systems
August 2-11 2017
https://asimod.in.tum.de/2017/

Apply online: https://asimod.in.tum.de/2017/participation.shtml
Deadline: April 9

The "Marktoberdorf Summer School" is an 11-day event for young computer scientists and mathematicians, typically doctoral and post-doctoral researchers. It provides mini-courses on state-of-the-art topics in "Logical Methods for Safety and Security of Software Systems" and leaves ample room for interaction between participants and speakers.

Speakers and courses:

CHRISTEL BAIER:
Probabilistic Model Checking
GILLES BARTHE:
Relational Verification for Differential Privacy and Cryptography
NICOLAJ BJØRNER:
Satisfiability Modulo Theories
CÉDRIC FOURNET:
Security Verification in F*
ORNA GRUMBERG:
Program Repair
JOOST-PIETER KATOEN:
Foundations of Probabilistic Programming
DANIEL KROENING:
Static Analysers for Black Hats and White Hats
ORNA KUPFERMANN:
Automated Synthesis of Temporal-Logic Specifications
MAGNUS MYREEN:
Verification of an ML Compiler
TOBIAS NIPKOW:
Verified Analysis of Functional Data Structures
LARRY PAULSON:
Proof Support for Hybrid System Analysis
ANDRE PLATZER:
Dynamic Logic for Dynamical Systems

We look forward to seeing you in Marktoberdorf in August!

Orna Grumberg
Tobias Nipkow

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

[Coq-Club] Marktoberdorf Summer School: Call for Participation, Tobias Nipkow, 02/27/2017