QBF Program Committee
The program committee of QBF 2014 is shown below.
- Charles Jordan (Hokkaido University) - chair
- Florian Lonsing (Vienna University of Technology) - chair
- Martina Seidl (Johannes Kepler University Linz) - chair
|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
QBF Program Committee
The program committee of QBF 2014 is shown below.
|
|