Below you find FME’s list of upcoming conferences that are related to formal methods:
| Conference | Abstract Due | Full Paper Due | Notification | Conference Date | Location |
|---|---|---|---|---|---|
| FMCAD 2021 | 7 May 2021 | 14 May 2021 | 2 July 2021 | 20-22 October 2021 | Yale, USA |
| FACS 2021 | 16 July 2021 | 20 August 2021 | 28-29 October 2021 | Online | |
| FM 2021 | 30 April 2021 | 6 May 2021 | 16 July 2021 | 20-26 November 2021 | Online |
| SEFM 2021 | 19 July 2021 | 23 July 2021 | 24 Sept 2021 | 6-10 December 2021 | Online |
| SBFM 2021 | 23 July 2021 | 30 July 2021 | 10 Sept 2021 | 7-10 December 2021 | Online |
| SAC-SVT'22 | 24 Oct 2021 | 10 Dec 2021 | 25-29 April 2022 | Brno, Czech Republic | |
| FormaliSE 2022 | 13 jan 2022 | 20 Jan 2022 | 04 March 2022 | 22-23 May 2022 | Pittsburgh, USA |
| NFM 2022 | 3 Dec 2021 | 10 Dec 2021 | 4 Feb 2022 | 24-27 May 2022 | Pasadena, USA |
| RSSRail 2022 | 15 November 2021 | 2 December 2021 | 1 February 2022 | 1-2 June 2022 | Paris, France |
Upcoming FM Workshops
In addition to the main conferences above, several smaller events cover specific aspects of formal development methods.
| Event Name | Abstract Due | Full Paper Due | Notification | Event Date | Location |
|---|---|---|---|---|---|
| appFM 2021 | 21 July 2021 | 31 August 2021 | 20/26 November 2021 | Online @ FM2021 |
Contact
If you would like your event to be listed on this page, please contact Einar Broch Johnsen.