4-16 December 2005, Logic Summer School, Canberra, Australia

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 Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.

Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au