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
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