Program Committee
Laura Kovacs (TU Wien), chair
Andrei Voronkov (U. of Manchester and and EasyChair), chair
|
|
VAMPIRE 2019: THE 6TH VAMPIRE WORKSHOP
Program Committee
Laura Kovacs (TU Wien), chair Andrei Voronkov (U. of Manchester and and EasyChair), chair |
|