VSTTE 2020 : Verified Software: Theories, Tools, Experiments

posted by user: tchajed || 1235 views || tracked by 1 users: [display]

VSTTE 2020 : Verified Software: Theories, Tools, Experiments

Conference Series : Verified Software: Theories, Tools, Experiments

When	Jul 20, 2020 - Jul 21, 2020
Where	virtual
Abstract Registration Due	Apr 20, 2020
Submission Deadline	Apr 27, 2020
Notification Due	Jul 21, 2020
Final Version Due	Aug 28, 2020

Call For Papers

[Empty]

Related Resources

VSTTE 2021 VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments

IPDPS 2021 35th IEEE International Parallel & Distributed Processing Symposium

HEART 2022 2022 : 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies

ICTAI 2021 33rd International Conference on Tools with Artificial Intellignce

Depling 2021 6th International Conference on Dependency Linguistics

HEART 2022 2022 : 12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies

AST 2022 3rd ACM/IEEE International Conference on Automation of Software Test

ICHTML 2022 3rd International Conference on History, Theory and Methodology of Learning

PARMA-DITAM 2021 PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core

COLA Journal (Elsevier) 2021 CFP: Special issue on “Methods, Tools and Languages for Model-driven Engineering and Low-code Development”