We are excited to announce that our group has four papers at TACAS 2019 in Prague. This includes (a) a tool paper on COMPASS 3.0 by Marco Bozzano (FBK), Harold Bruintjes, Alessandro Cimatti (FBK), Joost-Pieter Katoen, Thomas Noll, and Stefano Tonetta (FBK), (b) the paper “Shepherding Hordes of Markov Chains” by Milan Ceska (Brno), Nils Jansen (Nijmegen), Sebastian Junges, and Joost-Pieter Katoen, (c) the paper “Effective Entailment Checking for Separation Logic with Inductive Definitions” by Jens Katelaan (TU Wien), Christoph Matheja, and Florian Zuleger (TU Wien), and (d) the paper “The Quantitative Verification Benchmark Set” by Arnd Hartmanns (Twente), Michaela Klauck (Saarland), David Parker (Birmingham), Tim Quatmann, and Enno Ruijters (Twente).