Logic List Mailing Archive

Logic Summer School, Canberra (Australia; Dec 2005)

Logic Summer School
Canberra, Australia
5-16 December 2005
http://lss.rsise.anu.edu.au/ 

The Automated Reasoning Group in the Research School of Information
Sciences and Engineering at The Australian National University will host
the Logic Summer School from the 5th to the 16th of December 2005, at the
Physics G6 lecture theatre at the ANU. The School will consist of short
courses on aspects of pure and applied logic taught by experts from
Australia and overseas. In addition to the scheduled courses, time will be
set aside each day for practical classes, discussions and software
demonstrations.

Deadline for registration: 28 November 2005. For more information, an
online registration form and a program outline, see
http://lss.rsise.anu.edu.au/