The Coq mailing list

[Pascal Fontaine <Pascal.Fontaine AT inria.fr>]

Dear All,

you will find below a call for participation for an in-person school, 
essentially for PhD students in the domain.  Notice the short deadline.

We would be grateful if you could forward to your students.

Best regards,

  Pascal (for the organizing committee)


---

In-person School on Verification Technology, Systems and Applications 
(VTSA 2021)

October 11-15, 2021, Liege, Belgium

The 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 Liege and of Luxembourg, and will take place at the 
University of Liege, Belgium, from October 11 to 15, 2021.

The following speakers have agreed to lecture at the school:

Gilles Audemard: SAT solver essentials, SAT modeling and algorithms
Cezara Dragoi: Towards automated verification of fault-tolerant 
distributed systems
Christoph Haase: Linear arithmetic theories: theory and applications
Leslie Lamport: Discussion
Josef Widder: Consensus in distributed systems

Participation in 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 
vtsa2021 AT montefiore.ulg.ac.be including

- a one-page CV,
- an application letter explaining your interest in the school and your 
experience in the area, and the question to Leslie Lamport (see below)
- a copy of your bachelor certificate (or equivalent or a more 
significant certificate)
- a short statement if you want to contribute to the student session

We are very happy that Leslie Lamport, Turing Award 2013, will be 
present for a discussion at VTSA 2021.  We ask every applicant to watch 
his talk "If you're Not Writing a Program Don't Use a Programming Language":
http://newsroom.hlf-foundation.org/newsroom/lectures/video/lecture-if-youre-not-writing-a-program-dont-use-a-programming-language.html
and think about one question that she/he would like to ask during this 
discussion with Leslie Lamport.  Please provide this question in your 
application letter.

The deadline for application is September 15, 2021. Notification of 
acceptance will be given by September 20, 2021.

There is still some uncertainty with the current sanitary crisis. Please 
check the traveling rules for Belgium that apply to you here:
https://www.info-coronavirus.be/en/travels/
As for now, fully vaccinated people from EU are allowed to travel to 
Belgium without quarantine, but filling a Passenger Locator Form (PLF) 
is required.

If the school cannot happen in person, it will be canceled (and 
rescheduled when the situation gets clear).

More details is available on the school Web page at 
https://www.mpi-inf.mpg.de/vtsa21 <https://www.mpi-inf.mpg.de/vtsa21>