The Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) is part of the Federated Logic Conference (FLoC), which is a coalition of several international conferences in the field of mathematical logic and computer science. The focus of the VSTTE is on the science and technology of Software Verification. In the paper (accepted for publication) “Constructing Independently Verifiable Privacy Compliant Type Systems for Message Passing between Black-Box Components” by Robin Adams and Sibylle Schupp, a new approach is proposed to meet the principle of “Privacy by Design” (PbD). The contribution includes formal methods that automatocally convert a software architecture with blackbox components into one that meets certain privacy properties.