[PVS] [EXTERNAL] FMBC25 - First Call for Papers

6th International Workshop on Formal Methods for Blockchains - First Call for Papers https://fmbc.gitlab.io/2025 May 04, 2025, Hamilton, ON, Canada Co-located with the European joint conferences on theory and practice of software (ETAPS 2025) https://www.etaps.org/2025/ -

[PVS] [EXTERNAL] FMBC25 - Second Call for Papers

6th International Workshop on Formal Methods for Blockchains - Second Call for Papers https://fmbc.gitlab.io/2025 May 04, 2025, Hamilton, ON, Canada Co-located with the European joint conferences on theory and practice of software (ETAPS 2025) https://www.etaps.org/2025/