VMCAI

From Openresearch
Jump to: navigation, search
VMCAI
Verification, Model Checking and Abstract Interpretation
CORE Rank (2018): B
Avg. acceptance rate: 48
Avg. acceptance rate (last 5 years): 48
Table of Contents

Verification, Model Checking and Abstract Interpretation (VMCAI) has an average acceptance rate of 48% (last 5 years 48%).

Events

The following events of the series VMCAI are currently known in this wiki:

 OrdinalFromToCityCountryGeneral chairPC chairAcceptance rateAttendees
VMCAI 2020Jan 19Jan 21New OrleansUSADirk Beyer
Damien Zufferey
47.7
VMCAI 2019Jan 13Jan 15CascaisPortugal43.5
VMCAI 2018Jan 7Jan 9Los AngelesUSA55.8
VMCAI 2017Jan 15Jan 17ParisFranceAhmed Bouajjani
David Monniaux
45.0

Number of Submitted and Accepted Papers (Main Track)

20
30
40
50
60
70
20
30
40
50
60
70
44
62
43
60
21
27
24
27
Submitted papers
Accepted papers

Acceptance Rate

40
50
60
40
50
60
47.7
43.5
55.8
45
Acceptance rate

Locations

1000 km
1000 mi
Data CC-By-SA by OpenStreetMap



Facts about "VMCAI"
EventSeries acronymVMCAI +
Has Average 5y Acceptance Rate48.0 +
Has Average Acceptance Rate48.0 +
Has CORE RankB +
IsAEventSeries +
TitleVerification, Model Checking and Abstract Interpretation +