VAMPIRE20: THE 7TH VAMPIRE WORKSHOP
Program Committee

Laura Kovacs (TU Wien), chair

Andrei Voronkov (U. of Manchester and EasyChair), chair