Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Jun PANG via Petrinet <address@concealed>
- To: Jun Pang <address@concealed>
- Subject: [PN-world] (PN) VTSA 2024: 2nd call for applications
- Date: Thu, 2 May 2024 09:10:31 +0200
- Authentication-results: spool.mail.gandi.net; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed; dmarc=pass (policy=none) header.from=uni-hamburg.de
Summer School on Verification Technology, Systems and Applications (VTSA 2024)
July 8th-12th, 2024, Belval, Luxembourg
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 University of Luxembourg, Belval Campus, Maison du Savoir from July 8th to 12th, 2024.
The following speakers have agreed to lecture at the school:
- Wolfgang Ahrendt: Dynamic Logic for Practical Program Verification
- Étienne André: (Parametric) Timed Verification
- Joao Marques-Silva: An Overview of Symbolic Explainability
- Caterina Urban: Formal Methods for Machine Learning Pipelines
- Anton Wijs: Accelerated Verification
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 Jennifer Müller (address@concealed) including
- 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
The deadline for application is May 24th, 2024. Notification of acceptance will be given by May 30th, 2024.
Full details can be found on the school website at https://www.mpi-inf.mpg.de/vtsa24.
July 8th-12th, 2024, Belval, Luxembourg
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 University of Luxembourg, Belval Campus, Maison du Savoir from July 8th to 12th, 2024.
The following speakers have agreed to lecture at the school:
- Wolfgang Ahrendt: Dynamic Logic for Practical Program Verification
- Étienne André: (Parametric) Timed Verification
- Joao Marques-Silva: An Overview of Symbolic Explainability
- Caterina Urban: Formal Methods for Machine Learning Pipelines
- Anton Wijs: Accelerated Verification
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 Jennifer Müller (address@concealed) including
- 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
The deadline for application is May 24th, 2024. Notification of acceptance will be given by May 30th, 2024.
Full details can be found on the school website at https://www.mpi-inf.mpg.de/vtsa24.
- [PN-world] (PN) VTSA 2024: 2nd call for applications, Jun PANG via Petrinet, 05/02/2024
Archive powered by MHonArc 2.6.19+.