Workshop on Logic and Algebra
August 28, 2012
Seminar room Goedel
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.
Florent Madelaine
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.
Iyad Kanj
Ruslan Smeliansky
Werner Dietl
11:00–12:00 Verification Games: Making Verification Fun
14:00–16:00 Developing and using pluggable type systems
Wednesday, June 20, 2012
Ana Sokolova
Quantitative Relaxation of Concurrent Data Structures
June 14th, at 17:00