Vampire 2016: Editor's Preface

This volume serves as the post-proceedings of the Third Vampire Workshop, which was held as an affiliated event of IJCAR 2016. The workshop took place on July 1, 2016 in Coimbra, Portugal.

The workshop had 8 submissions, which were reviewed by the program committee chairs. All 8 submissions have been accepted for publication. Revised versions of 5 of these papers are included in this volume.

The workshop program also included an invited talks, given by Andrew Reynolds from the University of Iowa. The invited paper accompanying this invited talk is also included in this volume.

We would like to thank the PC chairs and the local organizers of IJCAR 2016 for all their support, and EasyChair for providing an excellent environment for hosting the reviewing process, program generation and proceedings creation.


Laura Kovacs
Andrei Voronkov
September 21, 2016