Difference between revisions of "CAV 2020"
m |
|||
| Line 6: | Line 6: | ||
|Start date=2020/07/19 | |Start date=2020/07/19 | ||
|End date=2020/07/24 | |End date=2020/07/24 | ||
| + | |Submission deadline=2020/01/28 | ||
|Homepage=http://i-cav.org/2020/ | |Homepage=http://i-cav.org/2020/ | ||
|City=Los Angeles | |City=Los Angeles | ||
| − | |Country= | + | |State=California |
| + | |Country=Online | ||
| + | |Paper deadline=2020/01/28 | ||
| + | |Notification=2020/04/06 | ||
| + | |has program chair=Shuvendu Lahiri, Chao Wang | ||
| + | |has Keynote speaker=David Dill, Pushmeet Kohli | ||
}} | }} | ||
| + | CAV 2020 and co-located events will be conducted virtually during 19-24th July. The events will be conducted primarily through Zoom and Slack for attendees. Some sessions (e.g., keynotes and tutorials) will also be live streamed on YouTube. | ||
| + | |||
| + | ==== 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 | ||
| + | |||
| + | Submissions on a wide range of topics are sought, particularly ones that identify new research directions. CAV 2020 is not limited to topics discussed in previous instances of the conference. Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission. | ||
Revision as of 10:05, 20 November 2020
| CAV 2020 | |
|---|---|
Computer Aided Verification
| |
| Event in series | CAV |
| Dates | 2020/07/19 (iCal) - 2020/07/24 |
| Homepage: | http://i-cav.org/2020/ |
| Location | |
| Location: | Los Angeles, California, Online |
Loading map... | |
| Important dates | |
| Papers: | 2020/01/28 |
| Submissions: | 2020/01/28 |
| Notification: | 2020/04/06 |
| Committees | |
| PC chairs: | Shuvendu Lahiri, Chao Wang |
| Keynote speaker: | David Dill, Pushmeet Kohli |
| Table of Contents | |
Contents | |
CAV 2020 and co-located events will be conducted virtually during 19-24th July. The events will be conducted primarily through Zoom and Slack for attendees. Some sessions (e.g., keynotes and tutorials) will also be live streamed on YouTube.
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
Submissions on a wide range of topics are sought, particularly ones that identify new research directions. CAV 2020 is not limited to topics discussed in previous instances of the conference. Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission.
Facts about "CAV 2020"
| Acronym | CAV 2020 + |
| End date | July 24, 2020 + |
| Event in series | CAV + |
| Event type | Conference + |
| Has Keynote speaker | David Dill + and Pushmeet Kohli + |
| Has coordinates | 34° 10' 15", -118° 32' 25"Latitude: 34.170783333333 Longitude: -118.54016944444 + |
| Has location city | Los Angeles + |
| Has location country | Category:Online + |
| Has location state | California + |
| Has program chair | Shuvendu Lahiri + and Chao Wang + |
| Homepage | http://i-cav.org/2020/ + |
| IsA | Event + |
| Notification | April 6, 2020 + |
| Paper deadline | January 28, 2020 + |
| Start date | July 19, 2020 + |
| Submission deadline | January 28, 2020 + |
| Title | Computer Aided Verification + |
