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

VSTTE 2020 : Verified Software: Theories, Tools, Experiments

FacebookTwitterLinkedInGoogle


Conference Series : Verified Software: Theories, Tools, Experiments
 
Link: https://sri-csl.github.io/VSTTE20
 
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