[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
the summer school on Verification Techniques, Systems, and Applications (VTSA
2023) will take place from August 28 to September 1, 2023, in Nancy, France.
The school was previously announced on this list, but I am happy to announce
that the EuroProofNet COST action will support travel costs and accommodation
for a number of participants of the school. For details, including conditions
of eligibility, please see the Web page of the school at
https://urldefense.com/v3/__http://www.mpi-inf.mpg.de/vtsa23/__;!!IBzWLUs!ReUI9Sd4rheyDoOXUO3IZvRJVsWbkYnzkwDKiNsKK8zmoo3uxpn8YTdi53z3mBJsJ1mu3bws53oFoKeSdSsJbC9H6q3JTwCNB36VVA$
.
Please share the information with students and researchers who may be
interested.
Best regards,
Stephan Merz
============================================================================
15th International Summer School on
Verification Technology, Systems & Applications
https://urldefense.com/v3/__http://www.mpi-inf.mpg.de/vtsa23/__;!!IBzWLUs!ReUI9Sd4rheyDoOXUO3IZvRJVsWbkYnzkwDKiNsKK8zmoo3uxpn8YTdi53z3mBJsJ1mu3bws53oFoKeSdSsJbC9H6q3JTwCNB36VVA$
The 15th edition of the Summer School on Verification Technology,
Systems and Applications (VTSA) will be organized by Inria Nancy - Grand Est
in cooperation with Max-Planck-Institute for Informatics Saarbruecken,
the University of Liege, and the University of Luxembourg. The school will take
place from
August 28 to September 1, 2023 at Inria Nancy - Grand Est / LORIA, France.
The following speakers have accepted to give courses at VTSA 2022:
- Sandrine Blazy (Univ. Rennes 1): Verified Compilation
- Simon Bliudze (Inria Lille): Rigorous System Design using BIP – Correctness
by All Means
- Igor Konnov (Informal Systems): Specifying blockchain protocols with TLA+ and
Quint and checking them with Apalache
- Martin Leucker (Univ. Lübeck): Theory and Practice of Runtime Verification
- Peter Müller (ETH Zürich): Building Deductive Program Verifiers
Participation is free (except for travel and accommodation costs)
and open to anybody holding at least a bachelor degree or equivalent
in computer science. It includes the lectures, daily coffee breaks
and lunches as well as a school dinner. Attendance is limited
to 40 participants. Support for travel costs for a number of participants
is available through the EuroProofNet COST action, see details on
the Web page of the school.
Please apply electronically by sending to jmuel...@mpi-inf.mpg.de:
- a one-page CV,
- an application letter explaining your interest in the school and your
experience in the area,
- a copy of your bachelor certificate (or equivalent or a more significant
certificate),
- a short statement if you want to contribute to the student sessions,
- an indication if you ask EuroProofNet to refund your travel and
accommodation; in this case, please indicate your country, university, age and
gender as well as your arrival and departure dates and provide an estimate in
euros of your transportation costs to Nancy (a screen capture is fine). If you
are a master student, please provide a document stating that you are in a
research master (note that undergraduate students cannot be reimbursed).
The deadline for application is July 9, 2023. Notification of acceptance will
be given by July 12, 2023.
Full details are available at
https://urldefense.com/v3/__http://www.mpi-inf.mpg.de/vtsa23/__;!!IBzWLUs!ReUI9Sd4rheyDoOXUO3IZvRJVsWbkYnzkwDKiNsKK8zmoo3uxpn8YTdi53z3mBJsJ1mu3bws53oFoKeSdSsJbC9H6q3JTwCNB36VVA$
