Program Committee
Laura Kovacs (TU Wien), chair
Andrei Voronkov (U. of Manchester, Chalmers and EasyChair), chair
|
|
VAMPIRE17: VAMPIRE 2017
Program Committee
Laura Kovacs (TU Wien), chair Andrei Voronkov (U. of Manchester, Chalmers and EasyChair), chair |
|