posted by user: tchajed || 1633 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 2024   Verified Software: Theories, Tools, Experiments
ICTAI 2024   36th International Conference on Tools with Artificial Intelligence
LAK 2025   15th International Conference on Learning Analytics and Knowledge
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
Screenwriting and AI 2024   Journal of Screenwriting Special Issue - Screenwriting and AI: Emerging Theories, Modes, and Practices
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
HERVEX 2024   The 28th International Conference on Hydraulics, Pneumatics, Sealing Elements, Precision Mechanics, Tools, Specific Electronic Equipment & Mechatronics
STAG 2024   Smart Tools and Applications in Graphics 2024
EAI SIMUtools 2024   16th EAI International Conference on Simulation Tools and Techniques
Critical Plant Theories and Cultures: Ex 2024   Call For Papers - Critical Plant Theories and Cultures: Exploring Human and More-than-human World Entanglements