FACS Newsletter
wad...@dcs.gla.ac.uk
FACS Europe is the newsletter of the British Computing Society Formal
Aspects of Computing group and of Formal Methods Europe. They run a
number of columns, including one on functional programming, which I
edit. So far, the only FP column has been a description of Erlang,
kindly provided by Mike Williams.
I would be very pleased to consider short, informal papers (say,
5--10 pages in length) that would be of interest to the formal
methods community.
* Specifications written as functional programs.
(There's been an upsurge of interesting work
of this kind recently.)
* Proving properties of functional programs.
* Real-world applications of functional programming.
* Tutorial summaries of relevant advances in FP.
Submissions are welcome at any time, either by post or electronically.
Thanks for your help in spreading the word beyond the `FP ghetto'!
Cheers, -- P
-----------------------------------------------------------------------
Professor Philip Wadler wad...@dcs.glasgow.ac.uk
Department of Computing Science http://www.dcs.glasgow.ac.uk/~wadler
University of Glasgow phone: +44 141 330 4966
Glasgow G12 8QQ fax: +44 141 330 4913
SCOTLAND home: +44 141 357 0782