Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
7 results · clear filters Sort: newest oldest name
- 7th International Workshop on Formal Methods for Blockchains, FMBC 2026, Turin, Italy, April 11, 2026Computer and information sciencese113k4w
- International Workshop on Formal Methods for Blockchains (FMBC)Computer and information sciencess10jw1v
- 6th International Workshop on Formal Methods for Blockchains, FMBC 2025, Hamilton, Canada, May 4, 2025Computer and information sciencese113k3y
- 5th International Workshop on Formal Methods for Blockchains, FMBC 2024, Luxembourg City, Luxembourg, April 7, 2024Computer and information sciencese113k20
- 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, Haifa, Israel, August 11, 2022Computer and information sciencese10ty7x
- 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, Los Angeles, California, USA (Virtual Conference), July 18-19, 2021Computer and information sciencese10ty6z
- 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, Los Angeles, California, USA (Virtual Conference), July 20-21, 2020Computer and information sciencese10ty51
As JSON: https://labs.confref.org/api/search?series=s10jw1v&from=2020&to=2029