Information for "VMCAI 2017"

Jump to: navigation, search

Basic information

Display titleVMCAI 2017
Default sort keyVMCAI 2017
Page length (in bytes)474
Page ID38828
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorKirsten.Goschenhofer (talk | contribs)
Date of page creation06:32, 15 May 2020
Latest editorKirsten.Goschenhofer (talk | contribs)
Date of latest edit06:35, 15 May 2020
Total number of edits2
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (4)

Templates used on this page:

Facts about "VMCAI 2017"
Acceptance rate45.0 +
Accepted papers27 +
AcronymVMCAI 2017 +
End dateJanuary 17, 2017 +
Event in seriesVMCAI +
Event typeConference +
Has PC memberErika Abraham +, Roderick Bloem +, Wei-Ngan Chin +, Deepak D’Souza + and Roberto Giacobazzi +
Has coordinates48° 51' 13", 2° 20' 54"Latitude: 48.853494444444
Longitude: 2.3483916666667
+
Has location cityParis +
Has location countryCategory:France +
Has program chairAhmed Bouajjani + and David Monniaux +
Homepagehttps://conf.researchr.org/home/VMCAI-2017 +
IsAEvent +
Start dateJanuary 15, 2017 +
Submitted papers60 +
Title18th International Conference on Verification, Model Checking, and Abstract Interpretation +