From wadler@dcs.gla.ac.uk Wed Sep 20 11:55:11 EDT 1995 Article: 1197 of comp.lang.ml Path: cantaloupe.srv.cs.cmu.edu!news From: wadler@dcs.gla.ac.uk Newsgroups: comp.lang.ml Subject: FACS Newsletter Date: 19 Sep 1995 21:12:41 GMT Organization: Computing Science Dept., Glasgow University, Glasgow, Scotland Lines: 32 Approved: comp-lang-ml@cs.cmu.edu Distribution: world Message-ID: <43nbo9$jib@cantaloupe.srv.cs.cmu.edu> Reply-To: wadler@dcs.gla.ac.uk NNTP-Posting-Host: vixen.fox.cs.cmu.edu Originator: rowan@VIXEN.FOX.CS.CMU.EDU CALL FOR COLUMNS (FACS Europe) 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 wadler@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