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