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 http://www.wallenberg.com/kaw/en/sek-18-billion-research-autonomous-systems-and-software-development.

Congratulations to Arjun Radhakrishna, RiSE graduate of IST with receiving 2014 ACM SIGBED Paul Caspi Memorial Dissertation Award

Alpine Verification Meeting (AVM) 2015

Attersee2

Martina Seidl and Ana Sokolova organize AVM this year in beautiful Attersee, Austria.
Visit http://fmv.jku.at/avm15/ for more details.

Laura Kovács just got ERC Starting grant accepted! Our Congratulations!

Congratulations to Laura Kovács with receiving a Wallenberg Fellowship!

Details of Laura’s project

Hearty congratulations to Ezio Bartocci with getting a tenure-track position at TU Wien!

FLoC Olympic Games: 13 out of 43 medals go to Austrian researchers

More details at http://futurezone.at/science/oesterreicher-bei-olympischen-spielen-der-logik-erfolgreich/76.094.556

Vienna Summer of Logic 2014 goes public

Public events at Vienna Summer of Logic: http://vsl2014.at/public-events/

Auseinandersetzung mit Logik: “Vienna Summer of Logic” — vienna.at

http://www.vienna.at/auseinandersetzung-mit-logik-vienna-summer-of-logic-ab-9-juli/4003002

PDF

Gastkommentar: Das silberne Zeitalter der Logik — falter.at

PDF