This HTML5 document contains 7 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n5http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n10http://dbkwik.webdatacommons.org/resource/sz3pQa8xzuYYufvNpGPZHA==
n6http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://dbkwik.webdatacommons.org/resource/MsFuySjqqOoJbojUz2qb9g==
n2http://dbkwik.webdatacommons.org/resource/1UVqFlz5u1M6cUcFONe9Xg==
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://dbkwik.webdatacommons.org/resource/Cv5IiUWAjuvPDqsMjpB1jA==
n7http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
ICFEM2011
rdfs:comment
The 13th International Conference on Formal Engineering Methods (ICFEM 2011) is sponsored by Teesside University. It will be held at the Radisson BLU hotel in Durham↑, United Kingdom↑ in October 2011. The previous conference was ICFEM 2010, held in Shanghai↑, China↑.
dcterms:subject
n4: n9: n10:
n6:wikiPageUsesTemplate
n7:
n5:abstract
The 13th International Conference on Formal Engineering Methods (ICFEM 2011) is sponsored by Teesside University. It will be held at the Radisson BLU hotel in Durham↑, United Kingdom↑ in October 2011. The previous conference was ICFEM 2010, held in Shanghai↑, China↑. ICFEM brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.