[TYPES/announce] summer school VTSA 2023 (updated with travel funding)

Stephan Merz stephan.merz at loria.fr
Tue Jul 4 10:26:13 EDT 2023


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 jmueller at 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$ 


More information about the Types-announce mailing list