Some Conferences on Formal Methods

Note: this list of conferences that I find interesting is purely subjective, and necessarily partial.

Name Format Abstract deadline Submission deadline Notification Conference dates Notes
RP’12 12 pages LNCS Thu. 17 May 2012 Thu. 24 May 2012 Mon. 25 June 2012 17 − 19 September 2012 (Bordeaux, France) Deadline extended by 2 weeks in 2012. Acceptance rate (2011): 66% (16/24).
MajecSTIC 2012 8 pages Fri. 25 May 2012 Fri.  1 June 2012 Mon. 30 July 2012 29, 30 et 31 octobre 2012 (Lille, France) In French. For M2, PhD students, post-docs and ATER.
AVoCS’2012 15 pages, EASST LaTeX or MS Word format / Short: 2 pages. Fri.  1 June 2012 Mon. 16 July 2012 18−20th September 2012 (Bamberg, Germany) Submission (short papers): 23rd July 2012. Notification (short papers): 25th July 2012
WRUMMM 2012 15 pages LNCS Sun.  1 July 2012 Tue. 14 August 2012 17th September, 2012 (London, United Kingdom) Publisher will be announced as soon as the agreements are established. Deadline extended by 6 weeks in 2012 (initially 15th May).
STACS’2013 12 pages LIPIcs Fri. 21 September 2012 Fri. 30 November 2012 February 27–March 2 2013 (Kiel, Germany) 50–60 contributed and three invited talks. Proceedings will appear in the LIPIcs series. This guarantees perennial, free and easy electronic access, while the authors will retain the rights over their work.
TACAS’2013 15 pages LNCS (regular) / 6 pages (tool) Sun.  7 October 2012 Sun. 14 October 2012 Fri. 14 December 2012 16 — 24 March 2013 (Rome, Italy)
MSR’2011 15 pages Hermès Sat. 14 May 2011 Fri.  1 July 2011 16 au 18 novembre 2011 (Lille, France) In French
NFM’2012 15 pages LNCS (regular) / 6 pages (short) Sun. 11 December 2011 Sun. 18 December 2011 Sat. 21 January 2012 3−5 April 2012 (Norfolk, Virginia, USA)
Petri Nets 2012 regular papers (max 20 pages in Springer LNCS-format); tool papers (max 10 pages in Springer LNCS-format) Tue. 10 January 2012 Thu.  1 March 2012 27−29 June 2012 (Hamburg, Germany)
iFM’12 15 pages LNCS Sun. 15 January 2012 Sun. 22 January 2012 Thu.  1 March 2012 18 − 22 June 2012 (Pisa, Italy) Colocated with ABZ 2012. Acceptance rate (2012): 37%
CAV’2012 16 pages LNCS (regular) / 6 pages LNCS (tool) Sun. 15 January 2012 Sun. 22 January 2012 Thu. 22 March 2012 July 7−13, 2012 (Berkeley, USA) Acceptance rate (2012): (38 regular + 20 tool) / 185 = 31%
FORTE’2012 15 pages LNCS (regular/tool) Mon. 20 February 2012 Mon. 27 February 2012 Mon. 26 March 2012 June 14−15, 2012 (Stockholm, Sweden)
ICECCS’12 IEEE 10 pages (Technical Papers and Experience Reports) / 2 pages (posters) Thu.  1 March 2012 Mon.  9 April 2012 July 18-20, 2012 (Paris, France) Best papers will be invited to submit (30% of new material would be expected) for a special issue in Springer’s LNCS Transactions on Computational Collective Intelligence:TCCI. Deadline extended (2 weeks) in 2012.
QEST’2012 IEEE double-column 10 pages (Theoretical / Methodological and technical / Application / Tools); 2 pages (Tool demonstration) Mon. 27 February 2012 Mon.  5 March 2012 Sun.  6 May 2012 17−20 September 2012 (London, UK) Accepted tool descriptions will appear in the conference proceedings. Selected papers will appear in a special issue of Elsevier Performance Evaluation journal.
UML & FM’2012 Short versions will be published in the ACM Software Engineering; 8 pages in SEN Format. Mon. 12 March 2012 Mon.  7 May 2012 August 27th, 2012 (Paris, France) Satellite of FM 2012. Selection of extended papers: June 4th, 2012. Deadline extended (one week) in 2012.
FM’2012 Springer 15 pages (regular) / 4 pages (tool) Mon. 12 March 2012 Mon.  7 May 2012 27−31 August 2012 (Paris, France) Deadline extended (one week) in 2012. Acceptance rate (2012): 26%.
PNSE’12 LNCS 15 pages (full) / 5 pages (short) / 2 (ongoing, poster) Tue. 20 March 2012 Tue.  1 May 2012 June 25−26, 2012 (Hamburg, Germany) Submit abstract before! A satellite event of Petri Nets 2012 and ACSD 2012. Workshop proceedings available at the workshop and published online. Some of the best papers will be invited for publication in LNCS "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC).
VECoS 12 pages Electronic Workshops in Computing (eWiC) Mon. 26 March 2012 Mon. 21 May 2012 August 27−28, 2012 (CNAM, Paris, France) Co-located with FM’12
SPIN’2012 18 pages LNCS (regular) / 5 pages LNCS + informal plan for presentation (tool) Mon. 26 March 2012 Fri. 30 March 2012 Mon.  7 May 2012 23-24 July 2012 (Oxford, UK)
FMICS’2012 15 pages LNCS Wed. 28 March 2012 Wed.  4 April 2012 Fri. 18 May 2012 August 27−28, 2012 (Paris (France)) Co-located with FM’2012. Selected participants will be invited to submit an extended version of their papers after the workshop.
MMRP 2012 15 pages LNCS (long) / 4 pages LNCS (short, non published) Thu.  5 April 2012 Mon.  7 May 2012 August 27-31 2012 (CNAM, Paris, France) Satellite of FM’2012
EMSOFT 2012 10 pages in ACM two-column format Wed.  4 April 2012 Wed. 11 April 2012 Tue.  3 July 2012 October 7-12 2012 (Tampere, Finland)
CONCUR’2012 15 pages LNCS Wed.  4 April 2012 Wed. 11 April 2012 Mon. 28 May 2012 3rd to 8th September 2012 (Newcastle upon Tyne, United Kingdom)
ICTAC 2012 15 pages LNCS (regular) / 4−8 pages LNCS (short) Mon. 16 April 2012 Fri.  8 June 2012 24−27 September 2012 (Bangalore, India)
ICFEM 2012 16 pages LNCS Mon.  9 April 2012 Mon. 16 April 2012 Mon. 18 June 2012 12th-16th, November, 2012 (Kyoto, Japan)
TIME’2012 8 pages IEEE Mon. 16 April 2012 Fri. 20 April 2012 Sun. 20 May 2012 12−14 September 2012 (Leicester, UK)
ATVA’2012 15 pages in Springer’s LNCS format (regular) / 4 (tool) Mon. 30 April 2012 Mon. 18 June 2012 October 3–6, 2012 (Thiruvananthapuram (Trivandrum), Kerala, India) Acceptance rate (2011): 36 / 75 = 48%. 4 more days to edit the paper past the deadline in 2011.
COMPARE’2012 Regular papers (6-15 pages LNCS) / discussion papers (2-4 pages) Tue.  1 May 2012 Tue. 29 May 2012 June 30, 2012 (Manchester, UK) Part of IJCAR’2012. Deadline extended by two weeks in 2012.
RTSS’2012 10 pages IEEE 2 columns Tue. 15 May 2012 Wed.  1 August 2012 5−7 December 2012 (San Juan, Puerto Rico) Acceptance rate (2011): 21%.
INFINITY 2012 15 pages (EPTCS) Tue. 15 May 2012 Thu.  7 June 2012 27th of August 2012 (Paris, France) A Satellite Workshop of FM 2012. Also accept presentations on recent or ongoing work (possibly submitted or published elsewhere) that will not appear in the proceedings. Deadline postponed by 2 weeks in 2012.

List maintained by Étienne André.

Other lists

This page makes use of valid HTML 5 and valid CSS.