|
posted by user: fuhaojie0909 || 10922 views || tracked by 29 users: [display]fuhaojie0909, dongshan, ANIT, pxwzzzz, nilsj, pedrolopezgarcia77, petermkruse, alex_ren, rps, uhiro, bonotake, chsticksel, noroozi, chsticksel1, kuailezhish, safran, penchungyew, greitschus, mxpan, cyrusliu, Matasma, ndisp, qianc62, hossein_haeri, Fancy313, aioloscool, rbloem, 3brahimi, lhl [hide]
|
|
|
|
VMCAI 2017 : International Conference on Verification, Model Checking,and Abstract Interpretation
   
Conference Series : Verification, Model Checking and Abstract Interpretation
|
|
Link: http://conf.researchr.org/home/VMCAI-2017
|
| |
| When |
Jan 15, 2017 - Jan 17, 2017
|
| Where |
Paris, France |
| Abstract Registration Due |
Sep 18, 2016
|
| Submission Deadline |
Sep 21, 2016
|
| Notification Due |
Nov 14, 2016
|
|
|
|
|
|
| |
|
Call For Papers
|
|
[Empty]
|
