Although the deadline for application has passed, a few places remain
available. If you are interested, please send the indicated documents to
stephan.m...@loria.fr <mailto:stephan.m...@loria.fr>: registrations remain
possible until the remaining slots have been filled.
Thank you,
Stephan Merz
> On 6 Jun 2018, at 14:34, Stephan Merz <stephan.m...@loria.fr> wrote:
>
> UniGR Summer School on Verification Technology, Systems and Applications
> (VTSA 2018)
>
> August 27-31, 2018, Nancy, France
>
> The summer school on verification technology, systems & applications focuses
> on fundamental aspects of verification techniques, their implementation, and
> their use for concrete applications. It is organized by Inria Nancy, the
> Max-Planck-Institut für Informatik in Saarbrücken, and the Universities of
> Liège and of Luxembourg, and will take place at the research center Inria
> Nancy – Grand Est in Nancy, France, from August 27 to 31, 2018.
>
> The following speakers have agreed to lecture at the school:
>
> - David Basin: Formal Methods for Security Protocols
> - Jean-Christophe Filliâtre: An Introduction to Deductive Program Verification
> - Peter Lammich: Algorithm Verification with the Isabelle Refinement Framework
> - Anca Muscholl: Distributed Synthesis
> - Carsten Sinz: Bounded Model Checking of Software for Real-World Applications
>
> Participation to the school is free to anybody holding at least a bachelor
> degree or equivalent; it includes the lectures, coffee and lunch breaks, and
> a school dinner. Attendance is limited to 40 participants. Please apply
> electronically by sending an email to Stephan Merz (stephan.m...@loria.fr)
> including
>
> - a one-page CV,
> - an application letter explaining your interest in the school and your
> experience in the area, and
> - a copy of your bachelor (or equivalent or higher) certificate.
>
> The deadline for application is July 8, 2018. Notification of acceptance will
> be given by July 11, 2018.
>
> Full details can be found on the school Web page at
> https://www.mpi-inf.mpg.de/vtsa18.
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info