Archive | July, 2016

CryptoForma themed special issue of Formal Aspects of Computing, extension until 1 Aug

Following more than six successful years of the UK CryptoForma EPSRC network (, and a special issue of the Formal Aspects of Computing journal in 2014 (see we have been given the opportunity to produce another special issue of this journal. The topic area is the application of formal methods in the specification, development, […]

Read full story Comments { 0 }