Turing Machine Award 2012: presentation ceremony

The Turing Machine Award ceremony took place at the Böcklsaal on Thu, December 20th, 2012.

Turing Machine Award 2012

On the occasion of Alan Turing’s 100th birthday, the Vienna Center for Logic and Algorithms (VCLA) awards the Turing Machine Award 2012.

Pre-doc position in theoretical computer science

FWF (Austrian Science Fund) project “Algorithms and Complexity of Constraint Languages” at Vienna University of Technology

National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions

The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.

Formal Methods in Systems Enginnering Group: Ten PhD and PostDoc positions

The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.

Vienna Logic Weeks 2012

© Miroslav Petrasko

A unique opportunity to experience a summer school, two conferences and two workshops from the field of logic in the course of two weeks.

Winter School on Verification, 6-10 February 2012, Vienna

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.

Official Opening

The Vienna Center for Logic and Algorithms (VCLA) celebrates its official opening:

Symposium »Logic and Algorithms: A Scientific Perspective«

Preceding the official opening of VCLA (Vienna Center for Logic and Algorithms), five invited speakers – including Turing Award winner Edmund M. Clarke – will shared their view on the current state of research in logic and algorithms:

Award of the Honorary Doctorate to Edmund M. Clarke

Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model checking (ACM Turing Award, 2007), but also pioneered model checking as a powerful tool for industrial […]