Re: CADE-15 Solicitation -Reply

To: aal@anu.edu.au, types@dcs.gla.ac.uk, igpl@doc.ic.ac.uk, rewriting@loria.fr
Subject: Re: CADE-15 Solicitation -Reply
From: SUTCLIFFE GEOFF <GEOFF@wpogate.mlsultan.ac.za>
Date: Mon, 11 Mar 1996 12:08:00 +200
Approved: types@dcs.gla.ac.uk


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

	PROPOSALS FOR SITES FOR CADE-15 SOLICITED 

CADE Inc  invites  proposals  to  host the  15th  Conference on
Automated Deduction (CADE-15). CADE-15 will be held in early to
mid-summer 1998 in Europe.  Proposals are due by  1st July 1996
and  a final  decision will  be made  by  1st  September  1996.
Proposals  will be  evaluated in  relation to  a number of site
selection  criteria,  which include:  suitability  of site  and
facilities;  strength of  local  automated  reasoning research;
costs and  availability of  local sponsorship.  Further details
are  available  on request from  the CADE  Inc Secretary,  Neil
Murray (nvm@cs.albany.edu).

    Alan Bundy
    President CADE Inc.