The ANU School of Computer Science will be hosting, with support from NICTA, the annual Logic Summer School from the 7 to 18 December 2009.
The Summer 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, there will be practical sessions giving students the opportunity to use web-based logic software.
For students in full-time education the cost is $120 and you will need to register by 06/11/09 or pay a 20% surcharge.
There are no formal prerequisites in attending the Summer School. However, participants are expected to be familiar with the concepts and notation of propositional and first order logic.
Though the course is not eligible for course credit, it is an opportunity to study and network with other students and researchers in the field of logic.
Further information can be found here : http://lss.cecs.anu.edu.au/
