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

Conference series Beta

International Workshop on Formal Integrated Development Environment (F-IDE)

Events
6 (2014 to 2021)
Academic field
Natural sciences: Computer and information sciences
Identifier
https://id.confref.org/series/s10jvzz

Events (6)

20142021

YearNo.EventPlaceDate
20216Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021.
20197Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019.
Porto
20184Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.
Oxford
2016Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016.
Limassol
2015Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015.
Oslo
20141Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014.
Grenoble

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).

Wikidata
dblp

Cite

International Workshop on Formal Integrated Development Environment (F-IDE). confref identifier s10jvzz. https://id.confref.org/series/s10jvzz

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.