VSTTE 2020 : Verified Software: Theories, Tools, Experiments

posted by user: tchajed || 1154 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

ICTAI 2021 33rd International Conference on Tools with Artificial Intellignce

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”

Depling 2021 6th International Conference on Dependency Linguistics

ARC 2021 Applied Reconfigurable Computing

EAI VALUETOOLS 2021 14th EAI International Conference on Performance Evaluation Methodologies and Tools (Springer, Scopus, ISI, Ei, more)

ISIPTA 2021 The Twelfth International Symposium on Imprecise Probability: Theories and Applications

HERVEX 2021 HERVEX-2021 The 26th International Conference on Hydraulics, Pneumatics, Sealing Elements, Precision Mechanics, Tools, Specific Electronic Equipment & Mechatronics