The Austrian Society for Rigorous Systems Engineering
(ARiSE, www.arise.or.at) and the Vienna Center for Logic and
Algorithms (VCLA, www.vcla.at) are organizing a joint winter
school on verification at Vienna University of Technology from
6-10 February 2012.
Apart from ARiSE/VCLA students, the school
will be open to outside students. We will have a limited number
of travel grants for motivated Master’s and outstanding
Bachelor’s students.

The preliminary list of speakers:
Patrice Godefroid, Microsoft Research – Invited Speaker
Thomas A. Henzinger – Model Checking Theory
Armin Biere – Satisfiability Solving for Propositional Logic
Laura Kovacs – Automated Theorem Proving
Krishnendu Chatterjee – Stochastic Games
Christoph Kirsch – Embedded Systems
Uwe Egly – Solving Quantified Boolean Formulas
Ulrich Schmid – Distributed Algorithms
Helmut Veith – Software Model Checking
Roderick Bloem – Synthesizing Correct Systems from Specifications

Students can register for the winter school by 15 December by email to
arise.vcla@gmail.com. In order to qualify for a grant, students should
submit
(1) A letter of motivation,
(2) a transcript of courses and
grades with a translation into English by the applicant,
and
(3) the name and email address of a reference person.
The student would preferably have prior knowledge of mathematical logics and/or discrete
math.

We will decide about the grants before Christmas.

I would be grateful if you could pass this information on to qualified
students in your department.

Thank you and best regards,

Laura Kovacs
on behalf of all organisers