This series of VeriDevOps research workshops connect the researchers periodically to deepen the research in related topics.