1-12 December 2003, The Logic & Automated Reasoning Summer School 2003

The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. 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.

Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office