(mobo import Concept___Fix_Online_Events-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(2 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
|Ordinal=33 | |Ordinal=33 | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=http://i-cav.org/2021/ |
− | + | |Submission Link=https://easychair.org/conferences/?conf=cav2021 | |
− | | | ||
− | |||
− | |||
|pageCreator=User:Curator 53 | |pageCreator=User:Curator 53 | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
Line 19: | Line 16: | ||
|Event Mode=online | |Event Mode=online | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Paper Deadline=2021/01/28 | ||
+ | |Notification Deadline=2021/04/19 | ||
+ | |Submission Deadline=2021/01/28 | ||
+ | }} | ||
+ | {{S Event}} | ||
==== Topics ==== | ==== Topics ==== |
Latest revision as of 12:59, 19 October 2022
Deadlines
|
||
Paper |
|
||
Submission |
|
||
Notification |
Venue
Warning: Venue is missing. The map might not show the exact location.
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