Please note that this newsitem has been archived, and may contain outdated information or links.
4 - 15 December 2000, 9th Annual Logic Summer School in Australia
The Australian National University will be hosting the 9th Annual Logic Summer School. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. The School will be held from 4 - 15 December 2000, and is suitable for IT professionals using formal methods or problem-solving technologies, teachers who teach logic, students who are going on to do research in logic or a related fields, whether in computing, mathematics or philosophy.
The cost of the school is $1,500/person. Discounts may be negotiated
for companies or institutions who send more than one participant to
the School. Students in full-time education are eligible for a
reduced fee of $100. For information on Scholarships for students
please see our internet site at
http://arp.anu.edu.au/lss.
The closing date for early registrations is, Friday 3 November, 2000.
Registrations received after this date will be subject to 20%
surcharge.
If you would like additional information about this course please contact The Automated Reasoning Group. Email: lss-admin@arp.anu.edu.au or phone: 61 (02) 6279 8630, Fax: 61 (02)6279 8651.
Please note that this newsitem has been archived, and may contain outdated information or links.