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