Published in association with Springer Nature, the journal welcomes new theoretical contributions where they are motivated by potential application, and applications of existing formalisms where they show something novel about their approach or application.

Subscribing to the journal

BCS members enjoy the following discounted subscription rates for the complete Volume 31 (2019) - comprising six issues:

Print and online access: £75 + VAT

Print only: £56 

Online access only: £30 + VAT 

You’ll also receive full online access to the archive with all these subscription options.

To subscribe, please email

Formal Aspects of Computing

Browse the latest editions and the archive. 

Go to the journal