About: International Conference on Formal Techniques for Networked and Distributed Systems

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

The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE.

Property	Value
dbo:abstract	The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE. (en)
dbo:wikiPageExternalLink	http://antares.sip.ucm.es/~forte2004/ http://dais-fmoods-2005.di.uoa.gr/fmoods/index.htm http://discotec.ru.is/fmoodsforte/main http://discotec08.ifi.uio.no/pmwiki.php%3Fn=FMOODS08.HomePage http://discotec09.di.fc.ul.pt/index.php%3Ftitle=Fmoods_forte http://forte13.sosy-lab.org/ http://forte2006.cnam.fr/ http://www.discotec06.cs.unibo.it/FMOODS06/ http://www.discotec2014.tu-berlin.de/forte-2014/call-for-papers https://www.springer.com/computer/communication+networks/book/978-3-642-13463-0 https://www.springer.com/computer/communication+networks/book/978-3-642-21460-8 https://www.springer.com/computer/communication+networks/book/978-3-642-30792-8 https://www.springer.com/computer/communications/book/978-0-412-82060-1 https://www.springer.com/computer/communications/book/978-0-7923-7683-5 https://www.springer.com/computer/communications/book/978-0-7923-7923-2 https://www.springer.com/computer/communications/book/978-0-7923-8429-8 https://www.springer.com/computer/communications/book/978-3-540-00141-6 https://www.springer.com/computer/communications/book/978-3-540-20175-5 https://www.springer.com/computer/communications/book/978-3-540-20491-6 https://www.springer.com/computer/communications/book/978-3-540-23252-0 https://www.springer.com/computer/communications/book/978-3-540-26181-0 https://www.springer.com/computer/communications/book/978-3-540-29189-3 https://www.springer.com/computer/communications/book/978-3-540-34893-1 https://www.springer.com/computer/communications/book/978-3-540-46219-4 https://www.springer.com/computer/communications/book/978-3-540-68854-9 https://www.springer.com/computer/communications/book/978-3-540-68862-4 https://www.springer.com/computer/communications/book/978-3-540-72919-8 https://www.springer.com/computer/communications/book/978-3-540-73195-5 https://www.springer.com/computer/communications/book/978-3-642-02137-4 https://www.springer.com/computer/theoretical+computer+science/book/978-3-642-38591-9 http://trese.cs.utwente.nl/fmoods2002/ http://www.infres.enst.fr/confs/FORTE_PSTV98/ http://www.infres.enst.fr/~najm/fmoods96/ http://www.infres.enst.fr/~najm/forte_pstv99/ http://www.liacs.nl/~marcello/FMOODS/index.htm https://web.archive.org/web/20050305083843/http:/cc.ee.ntu.edu.tw/~forte05/ https://web.archive.org/web/20090919033908/http:/www.cs.rice.edu/FORTE02/ https://web.archive.org/web/20091219214332/http:/cs.ttu.ee/FORTE07/ http://www-formal.stanford.edu/fmoods/
dbo:wikiPageID	24839130 (xsd:integer)
dbo:wikiPageLength	5938 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1103021722 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Distributed_computing_conferences dbr:Research dbr:International_Conference_on_Coordination_Models_and_Languages
dbp:wikiPageUsesTemplate	dbt:Reflist
dcterms:subject	dbc:Distributed_computing_conferences
gold:hypernym	dbr:Part
rdfs:comment	The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE. (en)
rdfs:label	International Conference on Formal Techniques for Networked and Distributed Systems (en)
owl:sameAs	freebase:International Conference on Formal Techniques for Networked and Distributed Systems wikidata:International Conference on Formal Techniques for Networked and Distributed Systems https://global.dbpedia.org/id/4nqnv
prov:wasDerivedFrom	wikipedia-en:International_Conference_on_Formal_Tec...ributed_Systems?oldid=1103021722&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Conference_on_Formal_Tec...for_Networked_and_Distributed_Systems
is dbo:wikiPageWikiLink of	dbr:List_of_computer_science_conference_acronyms dbr:List_of_computer_science_conferences
is foaf:primaryTopic of	wikipedia-en:International_Conference_on_Formal_Tec...for_Networked_and_Distributed_Systems