Difference between revisions of "Event:VMCAI 2019"

From ConfIDent
(mobo import Concept___Events-migrated)
m (Text replacement - "Homepage=" to "Official Website=")
 
(2 intermediate revisions by the same user not shown)
Line 3: Line 3:
 
|Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
 
|Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
 
|Type=Conference
 
|Type=Conference
|Homepage=https://popl19.sigplan.org/track/vmcai-2019
+
|Official Website=https://popl19.sigplan.org/track/vmcai-2019
 
|City=Cascais
 
|City=Cascais
 
|Country=Country:PT
 
|Country=Country:PT
 
|Has PC member=Miltiadis Allamanis, Timos Antonopoulos, Domagoj Babic, Josh Berdine, Ahmed Bouajjani
 
|Has PC member=Miltiadis Allamanis, Timos Antonopoulos, Domagoj Babic, Josh Berdine, Ahmed Bouajjani
|has Keynote speaker=Nuno P. Lopes, Kedar Namjoshi, Sylvie Putot
 
|Submitted papers=62
 
|Accepted papers=27
 
 
|pageCreator=User:Curator 47
 
|pageCreator=User:Curator 47
 
|pageEditor=User:Curator 47
 
|pageEditor=User:Curator 47
Line 20: Line 17:
 
|Event Mode=on site
 
|Event Mode=on site
 
}}
 
}}
 +
{{Event Deadline}}
 +
{{Event Metric
 +
|Number Of Submitted Papers=62
 +
|Number Of Accepted Papers=27
 +
}}
 +
{{S Event}}

Latest revision as of 14:22, 19 October 2022

Deadlines
Metrics
Submitted Papers
62
Accepted Papers
27
Venue

Cascais, Portugal

Loading map...
Cookies help us deliver our services. By using our services, you agree to our use of cookies.