Re: CADE-15 Solicitation -Reply
[------ 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
President CADE Inc.