| layout | page |
|---|---|
| title | FMAS Papers |
When a citing paper published in FMAS through the Electronic Proceedings in Theoretical Computer Science (EPTCS) please use the full title of the proceedings, do not cite it as an arXiv paper. Using the BibTex citation from arXiv hides the workshop's name, so it should not be used.
Instead, please use the FMAS proceedings index on DBLP. They provide a BibTex export with the full proceedings title. Alternatively, use the BibTex buttons below which provide the full proceedings title from EPTCS.
The seventh edition, co-located with the International Conference on Integrated Formal Methods (iFM) 2025, hosted by the Inria Paris Center, France.
Proceedings upcoming. {% include papers_list.html papers=site.data.fmas2025.papers %}
The sixth edition, , co-located with the International Conference on Integrated Formal Methods (iFM) 2024, hosted by the University of Manchester, UK. {% include papers_list.html papers=site.data.fmas2024.papers %}
The fifth edition, co-located International Conference on Integrated Formal Methods (iFM) 2023, hosted by Leiden University, The Netherlands. {% include papers_list.html papers=site.data.fmas2023.papers %}
The fourth edition, co-located with the International Conference on Software Engineering and Formal Methods (SEFM) 2022, hosted by Humboldt-University in Berlin-Adlershof, Germany. {% include papers_list.html papers=site.data.fmas2022.papers %}
The third edition, held online. {% include papers_list.html papers=site.data.fmas2021.papers %}
The second edition, held online. {% include papers_list.html papers=site.data.fmas2020.papers %}
The first edition, hosted as a satellite workshop at Formal Methods 2019. {% include papers_list.html papers=site.data.fmas2019.papers %}