Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la

Verification Winter School, Vienna, February 2012

The Austrian Society for Rigorous Systems Engineering
(ARiSE, and the Vienna Center for Logic and
Algorithms (VCLA, 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 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,

Laura Kovacs
on behalf of all organisers