Submission of new papers for VPT2019-EPTCS (Post-Proceeding of the 7-th workshop on Verification and Program Transformation as a volume of Electronic Proceedings in Theoretical Computer Science) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.