Vampire Workshop (Vampire)

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      text to speech
      • access: some or all publications openly available

      5th Vampire@FLoC 2018: Oxford, UK / 6th Vampire@SAT 2019: Lisboa, Portugal

      Vampire 2018 Home Page

      Vampire 2019 Home Page

      4th Vampire@CADE 2017

      Vampire 2017 Home Page

      3rd Vampire@IJCAR 2016: Coimbra, Portugal

      Vampire 2016 Home Page

      1st Vampire@VSL 2014: Vienna, Austria / 2nd Vampire@CADE 2015: Berlin, Germany

      Vampire 2015 Home Page

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics