Event Beta

15th International Symposium on Formal Methods

Name: 15th International Symposium on Formal Methods
Start: 2008-05-26
End: 2008-05-30
Location: Turku

FM 2008FM

Date: 2008-05-26/30
Place: Turku, Finland on the map
Series: International Symposium on Formal Methods
Edition: 15
Attendance: on site
Status: as scheduled
Website: https://fmeurope.org/conferences/fm2008/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/event/e103b61

Proceedings

Title	DOI	Year	Record
FM 2008: Formal Methods LNCS 5014	10.1007/978-3-540-68237-0	2008	Springer
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Lecture Notes in Computer Science 5014	10.1007/978-3-540-68237-0	2008	dblp

start date: confident: 2008-05-26; springer-lod: 2008-05-26; confref-portal: 2008-01-01

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/fm2008`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/fm2008` · page
ConfIDent	`https://id.confref.org/data/confident/31116` · page
dblp	`https://dblp.org/db/conf/fm/fm2008`
GND	`https://d-nb.info/gnd/16040570-1`

15th International Symposium on Formal Methods. confref identifier e103b61. https://id.confref.org/event/e103b61

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