Email Gateway (Sep 04 2021 at 09:54): Email Gateway (Sep 04 2021 at 09:54):From: Pascal Fontaine <Pascal.Fontaine@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@montefiore.ulg.ac.be including
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>
Last updated: Jul 15 2022 at 23:21 UTC