News and Events: Conferences

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

4-15 December 2006, Logic Summer School, Canberra, Australia

Date: 4-15 December 2006
Location: Canberra, Australia

The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, 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 early registration: 27 November 2006. 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.