VAMPIRE 2019: THE 6TH VAMPIRE WORKSHOP
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.