News and Events: Conferences

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

6-17 December 2010, Logic Summer School, Canberra, Australia

Date: 6-17 December 2010
Location: Canberra, Australia

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

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. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

.

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