Vampire 2017 - 4th Vampire Workshop

The workshop aims at discussing recent developments in implementing, applying benchmarking and comparing first-order theorem provers and their combinations with other systems. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The workshop is going to to shed the light on on problems such as
what is essential for substantial progress in theorem proving tools;
what are the best implementation principles to be used;
what are the best heuristics and strategies, depending on application areas;
both successful and unsuccessful case studies;
missing features in modern theorem provers.