(mobo import Concept___Event_For_Confident-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 6: | Line 6: | ||
|Submission deadline=2021/01/28 | |Submission deadline=2021/01/28 | ||
|Homepage=http://i-cav.org/2021/ | |Homepage=http://i-cav.org/2021/ | ||
− | |Country=Online | + | |Country=Country:Online |
− | |||
|Paper deadline=2021/01/28 | |Paper deadline=2021/01/28 | ||
|Notification=2021/04/19 | |Notification=2021/04/19 | ||
Line 18: | Line 17: | ||
|Start Date=2021/07/18 | |Start Date=2021/07/18 | ||
|End Date=2021/07/21 | |End Date=2021/07/21 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=online | ||
}} | }} | ||
Revision as of 13:47, 6 September 2022
Topics
Topics of interest include but are not limited to:
- Algorithms and tools for verifying models and implementations
- Algorithms and tools for system synthesis
- Algorithms and tools that combine verification and learning
- Mathematical and logical foundations of verification and synthesis
- Specifications and correctness criteria for programs and systems
- Deductive verification using proof assistants
- Hardware verification techniques
- Program analysis and software verification
- Software synthesis
- Hybrid systems and embedded systems verification
- Formal methods for cyber-physical systems
- Compositional and abstraction-based techniques for verification
- Probabilistic and statistical approaches to verification
- Verification methods for parallel and concurrent systems
- Testing and run-time analysis based on verification technology
- Decision procedures and solvers for verification and synthesis
- Applications and case studies in verification and synthesis
- Verification in industrial practice
- New application areas for algorithmic verification and synthesis
- Formal models and methods for security
- Formal models and methods for biological systems