Logic List Mailing Archive

Logic & Automated Reasoning Summer School 2003, December 2003, Australian National University

The Logic & Automated Reasoning Summer School 2003

December 1-12, 2003

Australian National University (ANU)

Target group: Students (postgraduate and undergraduate) in logic, senior
educators teaching logic, and IT professionals using formal methods

Costs: Students $120, others $1650

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/