This year, the BCS-FACS Specialist Group <http://www.bcs-facs.org/> on the *Formal Aspects of Computing Science* celebrates its 40th anniversary and it is also the 30th anniversary of the associated *Formal Aspects of Computing <https://www.bcs.org/category/17206>* (FAC) journal. Springer is offering free access to some articles in the FAC journal until 31 October 2018. See below for details. In addition, it is the 20th anniversary of the publication of the book *Unifying Theories of Programming <https://en.wikipedia.org/wiki/Unifying_Theories_of_Programming>* (UTP). FACS is holding a celebratory event at the BCS London office at 5.15pm for 6pm on Friday 12 October 2018. The co-authors of the book, Tony Hoare and He Jifeng will both be speaking at the event, as will Jim Woodcock, the Chief Editor of the FAC journal and a UTP researcher. Some FAC sample copies and fliers should be available at the event. For further information on the event and free online registration, see: https://www.bcs.org/content/ConWebDoc/59563 -- *Prof. Jonathan Bowen <https://sites.google.com/site/jpbowen/> *FBCS FRSA Chair BCS-FACS Emeritus Professor of Computing, London South Bank University, UK Adjunct Professor, Southwest University, Chongqing, China Chairman, Museophile Limited, Oxford, UK See *The Turing Guide <https://en.wikipedia.org/wiki/The_Turing_Guide>*, Oxford University Press, 2017 ---------- Forwarded message ---------- From: "Formal Aspects of Computing | Springer" < [log in to unmask]> To: emailing <[log in to unmask]> Date: Thu, 23 Aug 2018 12:48:48 +0000 Subject: Celebrating with Editor's choice articles: Soundness of workflow nets, CSP theorems, Frama C, and more free reads Formal Aspects of Computing: Read & download highly cited articles Theoretical Computer Science Formal Aspects of Computing Formal Aspects of Computing celebrates 30 years! Published in collaboration with the British Computer Society and their Formal Aspects of Computing Science Specialist Group. On the occasion of the journal's anniversary these articles have been selected by the journal editors to highlight important developments for the scientific community. You can freely access and download all the articles. Enjoy reading! W.M.P. van der Aalst et al. *Soundness of workflow nets: classification, decidability, and analysis <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=0B30FC69AE5F856BE2741FD1EC51B74CBB16999E&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMTAtMDE2MS00P3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=9d577d459b97744a35b87102aabfab68d5574a1f1c2c36c3888c3c3f9586a54e> * Download <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=273C56A3C51BC2975E043A007911E81FCE9D9004&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMTAtMDE2MS00P3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=9276c6edc7c035627d2cdfc5114bf638d4963c3eb1c783111d75ac7a8bd507ed> Steve Schneider, Helen Treharne *CSP theorems for communicating B machines <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=67F548FCF88FB3C189CF4B24D6900BE783C4D571&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMDUtMDA3Ni03P3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=af6374b5c2f63a6a65c139c0506cea58f2aeed149e1138f480be9def10146399>* Download <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=138E69718C95BCFCA360E68816EF4049FBA038C7&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMDUtMDA3Ni03P3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=2cae50a9db048c104b39a524a6afb013eb98be9d46b6321dd65266b870a8ef74> G. Norman et al. *Using probabilistic model checking for dynamic power management <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=849214454F85A58DD6ACA72E441A4481155A3620&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMDUtMDA2Mi0wP3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=556f1b0050166591df53ee6f0decfb2eeefa8653aadeb67be17a59e3005ca97b>* Download <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=DF3C60D95BB1D7AA34BB8DC3A179A1CC2F5828A4&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMDUtMDA2Mi0wP3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=7aebccd531ea255c4b69d00af18ca2d228c31d0e374e10785c7445bc6f30d26f> F. Kirchner et al. *Frama-C: A software analysis perspective <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=444751C9099DC74A67103369DA24C7A73F3C6B6B&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMTQtMDMyNi03P3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=4815acd144b6c161b990606d809ae3b2322172bfe582eb5e9daaeb98586c6fbf>* Download <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=400372B68A435D3F0F73F404905B7ACFAEF24BF2&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMTQtMDMyNi03P3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=b3af7671b991859de62945d8530019ea9e6213706775ac56e2d236f2fb92c5a5> Rajeev Joshi, Gerard J. Holzmann *A mini challenge: build a verifiable filesystem <https://mobile-base.springer-sbm.com:444/sap/public/cuan/link/888/906B77A784632084D4E2635D6EB57C307C92427E?_V_=2&_K11_=4F00F48071E10929222F16E7E4F56F834696BBFC&_L54AD1F204_=c2NlbmFyaW89TUxDUEcmdGFyZ2V0PWh0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MwMDE2NS0wMDYtMDAyMi0zP3NhcC1vdXRib3VuZC1pZD05MDZCNzdBNzg0NjMyMDg0RDRFMjYzNUQ2RUI1N0MzMDdDOTI0MjdF&_K13_=3&_K14_=53597d9f4406745a54c6bb7fd8e3dc092946bd1bfdf31c79d9e17d11b94006bd>* All free to read the end of September with open access articles permanently free. We hope you enjoy the articles, which reflect the journal's legacy of the highest quality research. Yours sincerely, Rachel Moriarty Editor, Computer Science Journals, Springer ######################################################################## To unsubscribe from the FMNET list, click the following link: https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=FMNET&A=1