Vampire Program Committee
The program committee of Vampire 2014 is shown below.
- Laura Kovacs (Chalmers University of Technology) - chair
- Andrei Voronkov (University of Manchester) - chair
|
|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
Vampire Program Committee
The program committee of Vampire 2014 is shown below.
|
|