About: International Conference on Software Engineering and Formal Methods

An Entity of Type: convention, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Annual conference series on software engineering and formal methods

Property	Value
dbo:description	Annual conference series on software engineering and formal methods (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20081027221658/http:/sefm.iist.unu.edu/
dbo:wikiPageWikiLink	dbr:Canberra dbr:Madrid dbr:Formal_methods dbc:Formal_methods dbr:Pisa dbr:Brisbane dbr:Asia dbr:Australia dbr:Italy dbr:Spain dbr:Boeing_Australia dbc:Software_engineering_conferences dbr:IEEE_Computer_Society dbr:Springer_Science+Business_Media dbr:Software_engineering dbc:IEEE_conferences dbr:Australian_Computer_Society dbc:Recurring_events_established_in_2003 dbr:DBLP dbc:September_events dbr:Pacific dbr:IEEE dbr:LNCS
dbp:area	dbr:Formal_methods dbr:Software_engineering
dbp:founded	, Brisbane, Australia (en)
dbp:frequency	Annual (en)
dbp:name	SEFM, International Conference on Software Engineering and Formal Methods (en)
dbp:sponsors	dbr:IEEE_Computer_Society
dbp:status	Active (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Start_date_and_age dbt:Reflist dbt:URL dbt:Age dbt:Infobox_recurring_event dbt:Formalmethods-stub dbt:IEEE_conferences dbt:Short_description
dct:subject	dbc:Formal_methods dbc:November dbc:Software_engineering_conferences dbc:IEEE_conferences dbc:Recurring_events_established_in_2003
gold:hypernym	dbr:Conference
rdf:type	dul:Event wikidata:Q1656682 dbo:Convention dbo:Event dbo:SocietalEvent schema:Event
rdfs:label	International Conference on Software Engineering and Formal Methods (en)
owl:sameAs	freebase:International Conference on Software Engineering and Formal Methods wikidata:International Conference on Software Engineering and Formal Methods http://viaf.org/viaf/873159477977327990008 dbpedia-global:International Conference on Software Engineering and Formal Methods
prov:wasDerivedFrom	wikipedia-en:International_Conference_on_Software_E..._Formal_Methods?oldid=1282429940&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Conference_on_Software_Engineering_and_Formal_Methods
foaf:name	SEFM, International Conference on Software Engineering and Formal Methods (en)
is dbo:wikiPageRedirects of	dbr:SEFM
is dbo:wikiPageWikiLink of	dbr:List_of_computer_science_conference_acronyms dbr:List_of_IEEE_conferences dbr:SEFM
is foaf:primaryTopic of	wikipedia-en:International_Conference_on_Software_Engineering_and_Formal_Methods