Conference series Beta
Haifa Verification Conference
HVC
- Events
- 13 (2005 to 2017)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s109t2e
Events (13)
20052017
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2017 | 13 | Haifa Verification Conference HVC | Haifa | 2017-11-13/15 |
| 2016 | 12 | Haifa Verification Conference HVC | Haifa | 2016-11-14/17 |
| 2015 | 11 | Haifa Verification Conference HVC | Haifa | 2015-11-17/19 |
| 2014 | 10 | Haifa Verification Conference HVC | Haifa | 2014-11-18/20 |
| 2013 | 9 | Haifa Verification Conference HVC | Haifa | 2013-11-05/07 |
| 2012 | 8 | Haifa Verification Conference HVC | Haifa | 2012-11-06/08 |
| 2011 | 7 | Haifa Verification Conference HVC | Haifa | 2011-12-06/08 |
| 2010 | 6 | Haifa Verification Conference HVC | Haifa | 2010-10-04/07 |
| 2009 | 5 | Haifa Verification Conference HVC | Haifa | 2009-10-19/22 |
| 2008 | 4 | Haifa Verification Conference HVC | Haifa | 2008-10-27/30 |
| 2007 | 3 | Haifa Verification Conference HVC | Haifa | 2007-10-23/25 |
| 2006 | 2 | Haifa Verification Conference HVC | Haifa | 2006-10-23/26 |
| 2005 | 1 | Haifa Verification Conference HVC | Haifa | 2005-11-13/16 |
The events on the map · in the search · calendar of coming events
Ratings
As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.
| System | Value | Date | Dataset |
|---|---|---|---|
| GII-GRIN-SCIE | W | 2017-04-06 | ratings-springer-lod |
| h5-index | 13 | 2017 | ratings-springer-lod · source |
| h5-median | 22 | 2017 | ratings-springer-lod · source |
| Qualis | C | 2017-04-06 | ratings-springer-lod |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| Wikidata | |
| dblp | |
| GND |
Cite
Haifa Verification Conference. confref identifier s109t2e. https://id.confref.org/series/s109t2e
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.