This year, the BCS-FACS Specialist Group 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 (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 (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:

--