Edit Event: CAV 2020

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Acronym *:		Acronym of the event such as "ESWC 2009".
Title:		Full title of the given event, e.g. "5th European Semantic Web Conference"
Ordinal:		Ordinal of the event e.g. 1 for 1st.
Series:		Abbreviation of event series, in case the event belongs to a continuing series
Type *:		Select type of the event or create a new type.
Field:		Primary scientific field of the event (additional ones can be added with '[[Category:some Scientific Field]]' to the article text, or use ", " to separate them here; if left empty the field of the associated event series is used)
Superevent:		Reference to a super event, in case the event is part of another event
Start date *:		Start date of the event.
End date *:		End date of the event.
Submission deadline:		general deadline for (most relevant kinds of) submissions
Homepage:		URL of the homepage
Twitter account:		twitter account handle, e.g. @EKAWConf2014
Logo:
City:
State:
Country:

Abstract deadline:		deadline for abstract submissions (usually for papers that are to be submitted later)
Paper deadline:		deadline for submitting papers, a special kind of submission deadline; read the note below
Poster deadline:
Demo deadline:
Workshop deadline:		deadline for submitting workshops proposals
Tutorial deadline:		deadline for submitting tutorial proposals
Notification:		date of acceptance notifications
Camera ready:		deadline for submitting the camera ready
Submission page:		Page for submissions (e.g. on Easychair)

Host organization:		Organizations (institutes, universities) hosting or organizing the event here.
Local organizers:		Add only person names without academic titles from here on.
General Chairs:		general chair
PC Chairs:		program chair
Workshop Chairs:
Panel Chairs:
Tutorial Chairs:
Demonstration Chairs:		demo chair
PC members:		Program Committee Members
Keynote speakers:

Attendance fee currency:		one of €, $ or input another currency
Regular attendance fee (on site):		regular fee for attending the event
Regular attendance fee (early bird):		early bird fee for attending the event
Student attendance fee (on site):		regular student fee for attending the event
Student attendance fee (early bird):		early bird student fee for attending the event
Attendance fee reduced (on site):		reduced fee for attending the event (e.g. for students)
Attendance fee reduced (early bird):		reduced fee for attending the event (e.g. for students)
Registration page:		URL of the registration page

Submitted papers:		number of submitted papers
Accepted papers:		number of accepted papers
Accepted short papers:		Number of accepted short papers
Proceedings link:		Link to the proceedings
Proceedings DOI:		DOI of the proceedings
Conference recording link:		TIB AV Portal]
Proceedings Bibliography:		Link to the proceedings bibliography (e.g. on DBLP) and without http://
Attendees:		Number of conference attendees
Tracks:		Number of conference tracks

Event description:

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.

Summary:

This is a minor edit Watch this page

Cancel

Acceptance rate	27.1 +
Accepted papers	65 +
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 +
Ordinal	32 +
Paper deadline	January 28, 2020 +
Start date	July 19, 2020 +
Submission deadline	January 28, 2020 +
Submitted papers	240 +
Title	International Conference on Computer Aided Verification +

Edit Event: CAV 2020

Contents

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Search

Create

Data

Kuratierung

Tools