Difference between revisions of "CAV 2021"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=CAV 2021 |Title=International Conference on Computer-Aided Verification |Ordinal=33 |Series=CAV |Type=Conference |Start date=2021/07/18 |End date=2021/07/21 |...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (3 intermediate revisions by one other user not shown) | |||
| Line 10: | Line 10: | ||
|Homepage=http://i-cav.org/2021/ | |Homepage=http://i-cav.org/2021/ | ||
|Country=Online | |Country=Online | ||
| + | |presence=online | ||
|Paper deadline=2021/01/28 | |Paper deadline=2021/01/28 | ||
|Notification=2021/04/19 | |Notification=2021/04/19 | ||
| + | |Submitting link=https://easychair.org/conferences/?conf=cav2021 | ||
| + | |pageCreator=Saskia.Ernert | ||
| + | |pageEditor=Saskia.Ernert | ||
| + | |contributionType=1 | ||
| + | }} | ||
| − | + | ==== 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 | ||
Latest revision as of 19:16, 1 April 2022
| CAV 2021 | |
|---|---|
International Conference on Computer-Aided Verification
| |
| Ordinal | 33 |
| Event in series | CAV |
| Dates | 2021/07/18 (iCal) - 2021/07/21 |
| Presence | online |
| Homepage: | http://i-cav.org/2021/ |
| Submitting link: | https://easychair.org/conferences/?conf=cav2021 |
| Location | |
| Location: | , Online |
| Important dates | |
| Papers: | 2021/01/28 |
| Submissions: | 2021/01/28 |
| Notification: | 2021/04/19 |
| Table of Contents | |
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