Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
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
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
firstname.lastname@example.org. In order to qualify for a grant, students should
(1) A letter of motivation,
(2) a transcript of courses and
grades with a translation into English by the applicant,
(3) the name and email address of a reference person.
The student would preferably have prior knowledge of mathematical logics and/or discrete
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,
on behalf of all organisers