CAV 2016: Difference between revisions
CSV import |
No edit summary |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 2016 | |Acronym=CAV 2016 | ||
|Title=Computer Aided Verification | |||
|Ordinal=28 | |||
|Series=CAV | |Series=CAV | ||
| | |Type=Conference | ||
|Field=Computer-Aided Verification | |||
|Start date=2016/07/17 | |||
|End date=2016/07/23 | |||
|Homepage=http://i-cav.org/2016/ | |||
|City=Toronto | |City=Toronto | ||
|State=Ontario | |State=Ontario | ||
|Country=Canada | |Country=Canada | ||
| | |Submitted papers=165 | ||
| | |Accepted papers=46 | ||
| | |has Proceedings Link=https://www.springer.com/gp/book/9783319415277 | ||
}} | }} | ||