3-14 December 2007, Logic Summer School, The Australian National University (ANU)

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 3 to the 14 of December 2007, 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.

"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."

Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.