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.
We dearly invite you to visit RiSE Workshop 2016 in Sep 26-29:
More info at page.
Martina Seidl received “Habilitationsurkunde” in the beginning of February. More info you will find here.
Our hearty congratulations!
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 http://www.wallenberg.com/kaw/en/sek-18-billion-research-autonomous-systems-and-software-development.
Picture and video is available at http://fmv.jku.at/knuth/
RiSE funds visits of PhD students between PIs sites. Read this to know how to apply.
Februar 11–15 2013
Introduction to Game Theory and Distributed Algorithms
Congratulations to Laura Kovács on her successful defence of habilitation thesis
“Symbol Elimination in Program Analysis”
in Applied and Theoretical Computer Science!