Browse wiki

Jump to: navigation, search
Correctness 2017
Acronym
Correctness 2017  +
End date
November 12, 2017  +
Event type
Workshop  +
Has coordinates
39° 44' 21", -104° 59' 5"Latitude: 39.739236111111
Longitude: -104.98486111111  +
Has location city
Denver +
Has location country
Category:USA +
Has location state
Colorado +
Homepage
https://correctness-workshop.github.io/2017/  +
IsA
Event  +
Start date
November 12, 2017  +
Submission deadline
August 18, 2017  +
Title
Correctness 2017 : First International Workshop on Software Correctness for HPC Applications  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
Correctness 2017 + , Correctness 2017 + , Correctness 2017 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
11:24:12, 28 July 2017  +
Categories
Formal methods , Stand-alone event , USA
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Saskia.Ernert +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
16:00:50, 18 February 2021  +
hide properties that link here 
Correctness 2017 : First International Workshop on Software Correctness for HPC Applications +
redirect page
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:Francesco-20Guerra"