Apologies if you receive this more than once. CADE-19 <http://www.CADE-19.info> Workshop Call for Participation
Grand Challenges in Automated Reasoning July 28 or 29, 2003 Miami USA http://4c.ucc.ie/~tw/gc/ As part of CADE-19 in Miami, there will be a CologNet sponsored workshop on Grand Challenges for Automated Reasoning. We hope that participants will identify the problems that will stimulate researchers in the field for the next twenty or more years. To participate in the workshop please send a one page statement of interest to Toby Walsh (preferably by email to [EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]> ) on or before May 1st 2003. If you wish to have a position paper in the proceedings, please send a postscript file of between 2 and 10 pages long in LLNC format, again to Toby Walsh on or before 1st May 2003. The workshop is expected to be 1/2 day long, and to consist of a mixture of invited talks, panels, brainstorming and discussion sessions. The Automated Reasoning area of CologNet <http://www.colognet.org> will be sponsoring this workshop. Travel grants will be available to support participation, with preference to students and others without other sources of funds to attend CADE-19.
