Edit Event: CAV 2011

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:

Summary:

This is a minor edit Watch this page

Acceptance rate	34.2 +
Accepted papers	55 +
Acronym	CAV 2011 +
End date	July 20, 2011 +
Event in series	CAV +
Event type	Conference +
Has coordinates	40° 34' 57", -111° 39' 15"Latitude: 40.58255 Longitude: -111.65418888889 +
Has location city	Cliff Lodge +
Has location country	Category:USA +
Has location state	Snowbird +
Homepage	http://formalverification.cs.utah.edu/cav2011/ +
IsA	Event +
Ordinal	23 +
Start date	July 14, 2011 +
Submitted papers	161 +
Title	Computer Aided Verification +

Contents