About: FM05 GC6 Workshop   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

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.

AttributesValues
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
dbkwik:formalmetho...iPageUsesTemplate
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.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software