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
dctermshttp://purl.org/dc/terms/
n5http://dbkwik.webdatacommons.org/ontology/
n3http://dbkwik.webdatacommons.org/formalmethods/property/
n8http://dbkwik.webdatacommons.org/resource/JjBkxzVcMXEiZ0yArlOYyA==
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n2http://dbkwik.webdatacommons.org/resource/8vYGUXF-XDi81jwvrvVv8Q==
n9http://dbkwik.webdatacommons.org/resource/TwU-d6GMcKMfGId_orpeow==
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
n7http://dbkwik.webdatacommons.org/resource/xoOxByjsi7a0lO-O2llahA==
Subject Item
n2:
rdfs:label
FM05 GC6 Workshop
rdfs:comment
A one-day Workshop on Monday 18 July 2005 at the FM05 Formal Methods Conference, Newcastle upon Tyne, UK, 18–22 July 2005, organized by the GC6 Committee. The British Computer Society (BCS) generously sponsored this event. See speakers/titles below. The programme and full proceedings (2Mbytes) are also available. This was Workshop 3 on the Registration Form of the FM05 conference and was located in Beehive 221. Please note that you may register independently of the main conference if you wish.
dcterms:subject
n7: n8:
n3:wikiPageUsesTemplate
n4: n9:
n5:abstract
A one-day Workshop on Monday 18 July 2005 at the FM05 Formal Methods Conference, Newcastle upon Tyne, UK, 18–22 July 2005, organized by the GC6 Committee. The British Computer Society (BCS) generously sponsored this event. See speakers/titles below. The programme and full proceedings (2Mbytes) are also available. This was Workshop 3 on the Registration Form of the FM05 conference and was located in Beehive 221. Please note that you may register independently of the main conference if you wish.