Open position for a full professorship in “Computer Aided Verification”, TU Wien

We would like to draw your attention to the announcement of an open
position for a full professorship in “Computer Aided Verification”
(succeeding Helmut Veith) at TU Wien, with deadline October 16, 2017.

RiSE workshop: Sep 26-29: call for your participation

We dearly invite you to visit RiSE Workshop 2016 in Sep 26-29:
More info at page.

Congratulations to Martina Seidl with Habilitation!

Martina Seidl received “Habilitationsurkunde” in the beginning of February. More info you will find here.

Our hearty congratulations!

Congratulations to Laura Kovacs with getting funded over the next 10 years!

Several Sweden universities including Chalmers University of Technology where Laura is an associate professor
are getting a large grant for the next 10 years. The grant is intended for basic research in the fields of autonomous systems
and software development. Find more details at

SAT solver Lingeling wins 7 medals

Armin Biere:

Our SAT solver Lingeling won 7 medals in this year’s SAT 2013 Competition
including the gold medal in the application track. The parallel versions Plingeling and Treengeling dominated both the parallel application track and the parallel track for hard combinatorial problems.

Prof. Donald Knuth has been visiting JKU for a week in May!

Picture and video is available at

(visit) Martin Aigner ⇾ Armin Biere

Martin Aigner ⇾ Armin Biere

Travel and Co-Advising

RiSE funds visits of PhD students between PIs sites. Read this to know how to apply.

RiSE Winter School 2013

Februar 11–15 2013

Introduction to Game Theory and Distributed Algorithms

Congratulations to Laura Kovács on her successful defence of habilitation thesis

laura_habilitation_thesisCongratulations to Laura Kovács on her successful defence of habilitation thesis
“Symbol Elimination in Program Analysis”
in Applied and Theoretical Computer Science!