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

IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Recommender systems 2021   SN Computer Science Call for Papers: Topical Issue on Advanced Theories and Algorithms for Next-generation Recommender Systems
ISIPTA 2021   The Twelfth International Symposium on Imprecise Probability: Theories and Applications
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
ARC 2021   Applied Reconfigurable Computing
HERVEX 2021   HERVEX-2021 The 26th International Conference on Hydraulics, Pneumatics, Sealing Elements, Precision Mechanics, Tools, Specific Electronic Equipment & Mechatronics
EAI VALUETOOLS 2021   14th EAI International Conference on Performance Evaluation Methodologies and Tools (Springer, Scopus, ISI, Ei, more)
TTSDP 2021   13th International Workshop on Tools and Techniques in Software Development Process
SMT 2021   SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories