Pre-doc position in theoretical computer science
FWF (Austrian Science Fund) project "Algorithms and Complexity of Constraint Languages" at Vienna University of Technology
Katarina Singer
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.
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
Vladimir Zakharov
Automata-theoretic approach to the equivalence checking problem for sequential programs
June 1st, 2012
Vladimir Zakharov
Equivalence Checking Problem: 1953 - 2011 (survey)
May 31st, 2012
Mini-Workshop
Mini-Workshop on Logic, Proofs and Algorithms
June 6th, 2012
Nikolaj Bjorner
Taking Satisfiability to the Next Level with Z3
May 30th, at 17:00