The summer school on verification technology, systems & applications takes place at tbd from tbd. We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verifiation can only be made if all three aspects are considered as a whole. Our five speakers tbd stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.
The number of participants in the school is limited to tbd. We expect participants to hold a bachelor (or higher) degree in computer science (or equivalent) and to have basic knowledge in propositional and first-order logic.
The summer school is free of charge. It includes the lectures, daily coffee breaks and lunches and the special summer school dinner on Wednesday. Participants take travel, accomodation and daily living costs on their own. Recommendations on hotels can be found below.
Please apply electronically by sending an email to tbd including
until the tbd. Notifications on acceptance will be given by tbd.
The registration will be open to accepted applicants starting on tbd.
All lectures will take place in room tbd.
| September 06 Monday |
September 07 Tuesday |
September 08 Wednesday |
September 09 Thursday |
September 10 Friday |
|
|---|---|---|---|---|---|
| 9.00-12.30 | tbd | tbd | tbd | tbd | tbd |
| 12.30-14.00 | Lunch break | ||||
| 14.00-17.20 | tbd | tbd | tbd | tbd | tbd |
| 17.30-18.30 | Presentations by participants | Presentations by participants | Presentations by participants | ||
| Evening | School Dinner | ||||
|
tbd |
Title |
|
|
tbd |
Title |
|
|
tbd |
Title |
|
|
tbd |
Title |
|
|
tbd |
Title |
The participants are responsible for their room reservations. tbd
The Summer School 2010 will take place at tbd.
General instructions: tbd
For comments or questions send an email to Jun Pang (jun.pang (at) uni.lu).
The summer school is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Institute for Informatics Saarbrücken.