Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites. Looking for other Springer journals? Please have a look at our journal list.

Volumes and issues

Volume 33 January - December 2021
- December 2021, issue 6
- August 2021, issue 4-5
  Extended versions of papers presented at FM 2019
- June 2021, issue 3
  Formal Methods and AI
- March 2021, issue 2
- January 2021, issue 1
  EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018
Volume 32 February - November 2020
- November 2020, issue 4-6
- July 2020, issue 2-3
  Formal Methods for Robotics
- February 2020, issue 1
Volume 31 February - December 2019
- December 2019, issue 6
  SPECIAL ISSUE ON HISTORY OF FORMAL METHODS
- November 2019, issue 5
  EXTENDED VERSIONS OF SELECTED PAPERS PRESENTED AT FASE 2018
- August 2019, issue 4
  INDIVIDUAL CONTRIBUTIONS
- June 2019, issue 3
  INDIVIDUAL CONTRIBUTIONS
- April 2019, issue 2
  EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2016
- February 2019, issue 1
  EXTENDED VERSIONS OF PAPERS PRESENTED AT SETTA 2016 (pp 1 - 58)
Volume 30 January - November 2018
- November 2018, issue 6
  EXTENDED VERSIONS OF PAPERS PRESENTED AT TAP 2016 (pp 627-684)
- September 2018, issue 5
  EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2015
- August 2018, issue 3-4
  INDIVIDUAL CONTRIBUTIONS
- March 2018, issue 2
  INDIVIDUAL CONTRIBUTIONS
- January 2018, issue 1
  Extended versions of papers presented at FASE'16
Volume 29 January - November 2017
- November 2017, issue 6
  INDIVIDUAL CONTRIBUTIONS
- September 2017, issue 5
  INDIVIDUAL CONTRIBUTIONS
- July 2017, issue 4
  Extended versions of papers presented at SETTA 2015
- May 2017, issue 3
  Extended versions of papers presented at LOPSTR 2015
- March 2017, issue 2
  INDIVIDUAL CONTRIBUTIONS
- January 2017, issue 1
  Extended versions of papers presented at LOPSTR 14
Volume 28 March - November 2016
- November 2016, issue 6
  Individual Contributions
- September 2016, issue 5
  Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)
- July 2016, issue 4
  Extended versions of papers presented at WS-FM 2014 and Beat 2014
- May 2016, issue 3
  Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 1)
- April 2016, issue 2
  Extended versions of papers presented at SEFM 14 (pp. 179-323)
- March 2016, issue 1
  Individual contributions
Volume 27 January - November 2015
- November 2015, issue 5-6
- July 2015, issue 4
- May 2015, issue 3
- March 2015, issue 2
- January 2015, issue 1
Volume 26 January - November 2014
- November 2014, issue 6
- September 2014, issue 5
- July 2014, issue 4
- May 2014, issue 3
- March 2014, issue 2
- January 2014, issue 1
Volume 25 January - November 2013
- November 2013, issue 6
- September 2013, issue 5
- July 2013, issue 4
- May 2013, issue 3
- March 2013, issue 2
- January 2013, issue 1
Volume 24 January - July 2012
- July 2012, issue 4-6
  Celebrating the 60th Birthday of Carroll Morgan
- May 2012, issue 3
- March 2012, issue 2
- January 2012, issue 1
Volume 23 January - November 2011
- November 2011, issue 6
- September 2011, issue 5
- July 2011, issue 4
- May 2011, issue 3
- March 2011, issue 2
- January 2011, issue 1
Volume 22 January - November 2010
- November 2010, issue 6
- September 2010, issue 5
- May 2010, issue 3-4
- March 2010, issue 2
- January 2010, issue 1
Volume 21 February - December 2009
- December 2009, issue 6
- October 2009, issue 5
- August 2009, issue 4
  Special Issue: Concurrency and Real-Time for Eiffel-like Languages
- May 2009, issue 3
- February 2009, issue 1-2
Volume 20 January - December 2008
- December 2008, issue 6
- July 2008, issue 4-5
- May 2008, issue 3
- March 2008, issue 2
- January 2008, issue 1
Volume 19 March - November 2007
- November 2007, issue 4
- August 2007, issue 3
- June 2007, issue 2
- March 2007, issue 1
Volume 18 March - December 2006
- December 2006, issue 4
- September 2006, issue 3
- June 2006, issue 2
- March 2006, issue 1
Volume 17 May - December 2005
- December 2005, issue 4
- October 2005, issue 3
- August 2005, issue 2
- May 2005, issue 1
Volume 16 April - November 2004
- November 2004, issue 4
- August 2004, issue 3
- May 2004, issue 2
- April 2004, issue 1
Volume 15 July - December 2003
- December 2003, issue 4
- November 2003, issue 2-3
- July 2003, issue 1
Volume 14 October 2002 - April 2003
- April 2003, issue 4
- April 2003, issue 3
- December 2002, issue 2
- October 2002, issue 1
Volume 13 September 2001 - August 2002
- August 2002, issue 6
- July 2002, issue 3-5
- May 2002, issue 2
- September 2001, issue 1
Volume 12 October - December 2000
- December 2000, issue 6
- December 2000, issue 5
- December 2000, issue 4
- November 2000, issue 3
- October 2000, issue 2
- October 2000, issue 1
Volume 11 September - December 1999
- December 1999, issue 6
- December 1999, issue 5
- December 1999, issue 4
- September 1999, issue 3
- September 1999, issue 2
- September 1999, issue 1
Volume 10 March - November 1998
- November 1998, issue 2
- September 1998, issue 1
- May 1998, issue 5-6
- April 1998, issue 4
- March 1998, issue 3
Volume 9 January - September 1997
- September 1997, issue 5-6
- July 1997, issue 4
- May 1997, issue 3
- March 1997, issue 2
- January 1997, issue 1
Volume 8 January - November 1996
- November 1996, issue 6
- September 1996, issue 5
- July 1996, issue 4
- May 1996, issue 3
- March 1996, issue 2
- January 1996, issue 1
Volume 7 January - November 1995
- November 1995, issue 6
- September 1995, issue 5
- July 1995, issue 4
- May 1995, issue 3
- March 1995, issue 2
- January 1995, issue 1
Volume 6 January - December 1994
- December 1994, issue 6
- November 1994, issue 1
  This is a supplement
- September 1994, issue 5
- July 1994, issue 4
- May 1994, issue 3
- March 1994, issue 2
- January 1994, issue 1
Volume 5 January - November 1993
- November 1993, issue 6
- September 1993, issue 5
- July 1993, issue 4
- May 1993, issue 3
- March 1993, issue 2
- January 1993, issue 1
Volume 4 January - November 1992
- November 1992, issue 6
- November 1992, issue 1
  This is a supplement
- September 1992, issue 5
- July 1992, issue 4
- May 1992, issue 3
- March 1992, issue 2
- January 1992, issue 1
Volume 3 January - October 1991
- October 1991, issue 4
- July 1991, issue 3
- June 1991, issue 2
- January 1991, issue 1
Volume 2 March 1990
- March 1990, issue 1
Volume 1 March 1989
- March 1989, issue 1

Volumes and issues

Volume 33 January - December 2021

Volume 32 February - November 2020

Volume 31 February - December 2019

Volume 30 January - November 2018

Volume 29 January - November 2017

Volume 28 March - November 2016

Volume 27 January - November 2015

Volume 26 January - November 2014

Volume 25 January - November 2013

Volume 24 January - July 2012

Volume 23 January - November 2011

Volume 22 January - November 2010

Volume 21 February - December 2009

Volume 20 January - December 2008

Volume 19 March - November 2007

Volume 18 March - December 2006

Volume 17 May - December 2005

Volume 16 April - November 2004

Volume 15 July - December 2003

Volume 14 October 2002 - April 2003

Volume 13 September 2001 - August 2002

Volume 12 October - December 2000

Volume 11 September - December 1999

Volume 10 March - November 1998

Volume 9 January - September 1997

Volume 8 January - November 1996

Volume 7 January - November 1995

Volume 6 January - December 1994

Volume 5 January - November 1993

Volume 4 January - November 1992

Volume 3 January - October 1991

Volume 2 March 1990

Volume 1 March 1989

Explore