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

SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
CoNEXT 2020   The 16th International Conference on emerging Networking EXperiments and Technologies
ICTAI 2020   International Conference on Tools with Artificial Intelligence
Remote Practices 2020   Remote Practices: Architecture in Proximity
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
EDLTMBE 2020   Emerging Deep Learning Theories and Methods for Biomedical Engineering - IEEE Access (IF: 4.098)
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ISIPTA 2021   The Twelfth International Symposium on Imprecise Probability: Theories and Applications
BTSD 2020   DEADLINE EXTENDED! The 2nd International Workshop on Big Data Tools, Methods, and Use Cases for Innovative Scientific Discovery (BTSD) 2020