News and Events: Conferences

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

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

Date: 4-16 December 2005
Location: Canberra, Australia
Costs: $1,650/$120 per person (professionals/students), scholarships available

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

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