2-13 December 2002, Logic and Automated Reasoning Summer School

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they do, and how they may do it more efficiently. This understanding begins with logic.

The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills for the work-force, for teaching, or for higher degree by research study, in a two-week intensive summer school at the ANU.

The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the ANU.

The school is most suitable for:
· IT professionals using formal methods or problem-solving technologies;
· Senior educators who teach logic at all levels;
· Postgraduate and undergraduate students who are going on to research logic or related fields in computing, mathematics or philosophy.

Fees:
Professionals: $1,650 per person. Discounts are available for multiple registrations from individual companies and institutions.
Students in full-time education: $120 per person. Scholarships are available and are assessed on a case-by-case basis. The web site has more details.

Registration closes Friday 1 November 2002. Registrations after this date will attract a 20% surcharge.

For more information, see the website at http://arp.anu.edu.au/lss, or contact the Convenor, Dr John Slaney, at lss-admin at arp.anu.edu.au.