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 |
|---|---|---|---|---|---|
| TASE 2021 | 28 Feb 2021 | 21 March 2021 | 7 May 2021 | 25-27 August 2021 | Shanghai, China |
| ICTAC 2021 | 7 May 2021 | 18 June 2021 | 6-10 Sept 2021 | Online | |
| SAS 2021 | 25 April 2021 | 4 July 2021 | 17-22 Oct 2021 | Chicago, USA | |
| ATVA 2021 | 9 April 2021 | 4 June 2021 | 18 - 22 Oct 2021 | Online | |
| 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 |
| BSFM 2021 | 23 July 2021 | 30 July 2021 | 10 Sept 2021 | 6-10 December 2021 | Online |
| 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 |
|---|---|---|---|---|---|
| FAACS 2021 | 21 June 2021 | 25 June 2021 | 16 July 2021 | 13-14 Sept 2021 | Online @ ECSA2021 |
| FMAS 2021 | 13 August 2021 | 17 September 2021 | 21 October 2021 | Online | |
| 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.