Programme Committee
PROGRAM COMMITEE:
Laura Kovacs (Chalmers University of Technology) - chair
Andrei Voronkov (University of Manchester) - chair
|
|
VAMPIRE 2015: THE 2ND VAMPIRE WORSHOP
Programme Committee
PROGRAM COMMITEE: Laura Kovacs (Chalmers University of Technology) - chair Andrei Voronkov (University of Manchester) - chair |
|