coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019
Chronological Thread
- From: Natarajan Shankar <shankar AT csl.sri.com>
- To: undisclosed-recipients: ;
- Subject: [Coq-Club] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019
- Date: Mon, 11 Feb 2019 23:36:15 -0800
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=shankar AT csl.sri.com; spf=None smtp.mailfrom=shankar AT csl.sri.com; spf=None smtp.helo=postmaster AT mx3.csl.sri.com
- Ironport-phdr: 9a23:8dhO6xBu4rRkoUBeksG5UyQJP3N1i/DPJgcQr6AfoPdwSPTzo8bcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Ximi76F2Rx/pkycIKzo58GbMisNuka1QvRatqhNjz4LRZoyeKfhwcb7Hfd4CWGRPXshRWS9PDIyyYIQADfYOM+lDoonhpFYDtweyCRWiCe7tzDJDm3/43bc90+QkCQzIxBYvH84Uv3TOttr1Nr0dUeaox6fVzTXMdfVW2TTn54jSbxsspuqMXbJqfsrXykkgDRnFg06Mpoz+OzOZzP8Ns3Ka7+Z6Se2vjGsnphh3rzOyyMksjYzJiZgUylDC7Sh525w1JdyiREFnZt6kFYNctyOAOIp2WcwiRHpotzw/yr0HuZ+0ZjIGx4ggxx7abfGMbouG4gr7WeqMLzp0mGhpdK+jixuw60Ss1/fwW8ep3FpSqidIkcPAum4C2hHQ8MSKRf9w8l2/1TqR1A3e7PxPL1oumqrBMZEhx6Y9lpoNvkTHGS/7gED2jaCYe0k+5ueo8ODnbq/9pp+GNo94kB3xMqMrmsCnAOQ4NBYBX3SD9Oih2rDv4Vf1TKhWgvA0iKXVrYrWKMoGqqKhBg9ayIcj6xKxDze819QYmGEKLElFeB2diYjpOEvBIOrjAPijmFSslC1nx+vcPr3gGJnCMn/DkLL5cbZn90Fc0BYzzcxY559MFr4OOvfzWkvouNzcDx85KBC0zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8PoDz9MeQq5+byjX8lnl8QZbWm3ZwOaHyhAvtmJ1iZbmH3j9caEWYKuxI+Q/bwhF2DVz5TfXeyULgm6jE1EoL1RbvEE52rjL2a1yO8BZBaI3pLAVGUEHrua57WE6RfRjiVJ5pHmyANT7GjQolp7hGnsgzz0fIzNerd/C4Rr7roz9wz/PfS0xo18GonXIymz2iRQjQszSszTDgs0fUj+RUsmGfG6rBxhrljLfIW4vpIVgkgMpuFlL5xENS0QRjAONyOTQT+G4n0MXQKVts0huQ2TQNlAdz71ULIxC7sGKUU0beMAc5sq/+O7z3KP894jk3++uwhgl0hG5QdMH39wKVk807IHY+PmEKcxf6n
Ninth Summer School on Formal Techniques, May 18 - May 24, 2019
Menlo College
Atherton, California
http://fm.csl.sri.com/SSFT19
Techniques based on formal logic, such as model checking,
satisfiability, static analysis, and automated theorem proving, are
finding a broad range of applications in modeling, analysis,
verification, and synthesis. This school, the ninth in the series, will
focus on the principles and practice of formal techniques, with a
strong emphasis on the hands-on use and development of this
technology. It primarily targets graduate students and young
researchers who are interested in studying and using formal techniques
in their research. A prior background in formal methods is helpful but
not required. Participants at the school can expect to have a seriously
fun time experimenting with the tools and techniques presented in the
lectures during laboratory sessions.
The lecturers at the school include:
* Peter Mueller, ETH Zurich Switzerland:
Modular Program Verification
* Daniel Jackson, CSAIL MIT USA:
A principled approach to software design
* Orna Grumberg, Technion Israel:
Model Checking and its Applications
* Kwangkeun Yi, Seoul National University, S. Korea:
Introduction to Static Analysis from an Abstract Interpretation Perspective
* Benjamin Gregoire, INRIA France:
An overview of Easycrypt and how to prove concrete security of cryptographic primitives
The main lectures in the summer school will be preceded by a background
course on logic:
* Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (SRI-CSL)
Speaking Logic
The school also include several distinguished invited talks.
Information about previous Summer Schools on Formal Techniques can be found at
http://fm.csl.sri.com/SSFT11
http://fm.csl.sri.com/SSFT12
http://fm.csl.sri.com/SSFT13
http://fm.csl.sri.com/SSFT14
http://fm.csl.sri.com/SSFT15
http://fm.csl.sri.com/SSFT16
http://fm.csl.sri.com/SSFT17
http://fm.csl.sri.com/SSFT18
Jay Bosamiya of CMU has blogged about the 2018 Summer School at
https://www.jaybosamiya.com/blog/2018/05/31/ssft/
We expect to provide support for the travel and accommodation for (a
limited number of) students registered at US universities. We welcome
applications from non-US students as well as non-students (if space
permits). Non-US students will have to cover their own travel and will
be charged around US$800 for meals and lodging. Applications should be
submitted at the website http://fm.csl.sri.com/SSFT19
Applicants are urged to submit their applications before April 30,
2019, since there are only a limited number of spaces available.
Non-US applicants requiring US visas are requested to apply early. We
strongly encourage the participation of women and under-represented
minorities in the summer school.
- [Coq-Club] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019, Natarajan Shankar, 02/12/2019
Archive powered by MHonArc 2.6.18.