BCS-FACS |
BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, Formal Aspects of Computing , published by Springer-Verlag.
Since , and others in the field [2].
The group liaises with other related groups such as the Centre for Software Reliability, Formal Methods Europe, the London Mathematical Society Computer Committee and the Z User Group.
=See also=
= References =
# . # Ali E. Abdallah, Peter Ryan and Steve Schneider (editors), Communicating Formal Aspects of Security . Springer-Verlag, Lecture Notes in Computer Science, Volume 2629, 2003. ISBN 3-540-20693-0. # Ali E. Abdallah, . ISBN 3-540-25813-2.
= External links =
*[http://www.bcs-facs.org/ BCS-FACS website] *[http://www.bcs-facs.org/events/EveningSeminars/ BCS-FACS Evening Seminars] *[http://www.lsbu.ac.uk/menass/fasec/ FASec 02 conference], 2002 *[http://www.lsbu.ac.uk/menass/csp25/ CSP25 conference], 2004|
|