Conference series Beta

International Conference on Formal Methods for Open Object-Based Distributed Systems

FMOODS

Events: 16 (1996 to 2013)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s109pwx

Events (16)

19962013

Year	No.	Event	Place	Date
2013		Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings FMOODS, FORTE	Florence	2013-06-03/05
2012		Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings FMOODS, FORTE	Stockholm	2012-06-13/16
2011		Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings FMOODS, FMOODS/FORTE 2011, FORTE	Reykjavík	2011-06-06/09
2010		Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings FMOODS, FMOODS/FORTE 2010, FORTE	Amsterdam	2010-06-07/09
2009		Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings FORTE	Lisbon	2009-06-09/12
2008	10	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS	Oslo	2008-06-04/06
2007	9	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2007, FMOODS	Paphos	2007-06-06/08
2006	8	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2006, FMOODS	Bologna	2006-06-14/16
2005	7	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS	Athens	2005-06-15/17
2003	6	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS	Paris	2003-11-19/21
2002	5	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS	Enschede	2002-03-20/22
2000	4	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS	Stanford University	2000-09-06/08
2000		Formal Methods for Open Object-Based Distributed Systems FMOODS	Lisbon	2000-06-09/12
1999	3	International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS	Florence	1999-02-15/18
1997		Formal Methods for Open Object-Based Distributed Systems FMOODS	Canterbury	1997-01-01
1996		Formal Methods for Open Object-Based Distributed Systems FMOODS	Paris	1996-01-01

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CORE	C	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	Bm	2017-04-06	ratings-springer-lod
Qualis	Am	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/fmoods`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/fmoods`
Wikidata	`http://www.wikidata.org/entity/Q105695854`
dblp	`https://dblp.org/streams/conf/fmoods`
GND	`https://d-nb.info/gnd/109205085X`

Cite

International Conference on Formal Methods for Open Object-Based Distributed Systems. confref identifier s109pwx. https://id.confref.org/series/s109pwx

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.