Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 1-12 December 2003
Location: Australian National University (ANU)
Target audience:
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/ or get the brochure at the ILLC office

Please note that this newsitem has been archived, and may contain outdated information or links.