Below you find FME’s list of upcoming conferences that are related to formal methods:
| Conference | Abstract Due | Full Paper Due | Notification | Conference Dates | Location |
|---|---|---|---|---|---|
| DisCoTec 2026 | 30 Jan 2026 | 6 Feb 2026 | 27 March 2026 | 8-12 June 2026 | Urbino, Italy |
| CONCUR 2026 | 20 Apr 2026 | 27 Apr 2026 | 25 June 2026 | 1-4 Sept 2026 | Liverpool, UK |
| FMICS 2026 | 10 Apr 2026 | 17 Apr 2026 | 1 June 2026 | 2-4 Sept 2026 | Liverpool, UK |
| QEST/FORMATS 2026 | 3 Apr 2026 | 10 Apr 2026 | 24 May 2026 | 2-4 Sept 2026 | Liverpool, UK |
| SYNASC 2026 | 15 May 2026 | 25 July 2026 | 14-17 Sept 2026 | Timisoara, Romania | |
| FMCAD 2026 | 26 Apr 2026 | 3 May 2026 | 28 June 2026 | 14-18 Sept 2026 | Graz, Austria |
| VSTTE 2026 | 10 July 2026 | 17 July 2026 | 22 Aug 2026 | 14 Sept 2026 | Graz, Austria |
| RV 2026 | 14 June 2026 | 30 July 2026 | 6-9 Oct 2026 | Kingston, Canada | |
| ICTAC 2026 | 8 June 2026 | 15 June 2026 | 10 Aug 2026 | 9-15 Nov 2026 | Bariloche, Argentina |
| ICFEM 2026 | 1 June 2026 | 8 June 2026 | 8 Aug 2026 | 17-20 Nov 2026 | Southampton, UK |
| SEFM 2026 | 16 June 2026 | 23 June 2026 | 30 Aug 2026 | 25-27 Nov 2027 | Malta |
| SBMF 2026 | 31 July 2026 | 07 Aug 2026 | 25 Sept 2026 | 1-4 Dec 2026 | Rio de Janeiro, Brazil |
| ATVA 2026 | 19 May 2026 | 21 May 2026 | 23 July 2026 | 1-5 Dec 2026 | Hong Kong, CN |
| IFS 2027 | 15 Oct 2026 | 22 Dec 2026 | 10-15 April 2027 | Copenhagen, Denmark | |
| ESOP 2027 (Round 1) | 28 May 2026 | 6 Aug 2026 | 10-15 April 2027 | Copenhagen, Denmark | |
| ESOP 2027 (Round 2) | 15 Oct 2026 | 22 Dec 2026 | 10-15 April 2027 | Copenhagen, Denmark | |
| FOSSACS 2027 | 15 Oct 2026 | 22 Dec 2026 | 10-15 April 2027 | Copenhagen, Denmark | |
| TACAS 2027 | 15 Oct 2026 | 22 Dec 2026 | 10-15 April 2027 | Copenhagen, Denmark | |
| FSCD 2027 | 23-26 Aug 2027 | Nijmegen, The Netherlands | |||
| CADE 2027 | 24-27 Aug 2027 | Nijmegen, The Netherlands | |||
| FM 2027 | 18-22 Oct 2027 | Athens, Greece |
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 |
|---|---|---|---|---|---|
| FTfJP 2026 | 18 Feb 2026 | 1 Apr 2026 | 29-30 June 2026 | Brussels, Belgium | |
| VORTEX 2026 | 31 March 2026 | 15 April 2026 | 30 June 2026 | Brussels, Belgium | |
| PERR 2026 | 24 April 2026 | 28 May 2026 | 24 July 2026 | Lisbon, Portugal | |
| CREST 2026 | 1 May 2026 | 7 May 2026 | 24 July 2026 | Lisbon, Portugal | |
| HWSW 2026 | 18 Oct 2026 | Rolling | 15 Nov 2026 | Bariloche, Argentina | |
| FMAS 2026 | 14 Aug 2026 | 17 Aug 2026 | 6 Oct 2026 | 17-18 Nov 2026 | Southampton, UK |
Upcoming FM Summer Schools
| Event Name | Application Deadline | Event Date | Location |
|---|---|---|---|
| SSFT 2026 | 31 March 2026 | 23-29 May 2026 | Hybrid / Atherton, California |
| MOVEP’26 | 5 June 2026 | 15-19 June 2026 | Nancy, France |
| FoPSS 2026 | 13-17 July 2026 | Lisbon, Portugal | |
| PLS 2026 | 10-14 August 2026 | Aarhus, Denmark | |
| Marktoberdorf 2026 | 11-22 August 2026 | Herrsching, Germany |
Contact
If you would like your event to be listed on this page, please contact Einar Broch Johnsen.