Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Conference series Beta

International School on Formal Methods for the Design of Computer, Communication and Software Systems

SFM
Events
14 (2003 to 2016)
Academic field
Natural sciences: Computer and information sciences
Disciplines
computer science
Identifier
https://id.confref.org/series/s10ajyv

Events (14)

20032016

YearNo.EventPlaceDate
201616International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2016-06-20/24
201515International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2015-06-15/19
201414International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2014-06-16/20
201313International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2013-06-17/22
201212International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2012-06-18/23
201111International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2011-06-13/18
201010International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2010-06-21/26
20099International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2009-06-01/06
20088International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2008-06-02/07
20077International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM 2007, SFM
Bertinoro2007-05-28 to 2007-06-02
20066International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2006-05-22/27
20055Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
SFM
Bertinoro2005-04-26/30
2004Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM
Bertinoro2004-09-13/18
20033International School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM
Bertinoro2003-09-22/27

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

Sources

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

Springer LOD (2018)
  • http://lod.springer.com/data/confseries/sfm
confref portal (2020)
Wikidata
dblp

Cite

International School on Formal Methods for the Design of Computer, Communication and Software Systems. confref identifier s10ajyv. https://id.confref.org/series/s10ajyv

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.