Venue

The Vampire 2019 workshop will take place at the Instituto Superior Técnico,
Universidade Lisboa:

http://sat2019.tecnico.ulisboa.pt/workshops.html

The Vampire 2019 workshop will take place in building #7 of the institute, with the exception of the first invited talk of the Vampire workshop 2019. More precisely:

the first invited talk of our Vampire 2019 workshop (shared with the SMT 2019 workshop) will take place in building #10 of the institute, that is at the venue of the SMT workshop;
all other talks of our Vampire 2019 workshop will take place in building #7 of the institute.

Further information wrt local arrangements are available on the SAT 2019 webpage.