Logic Summer School 6-18 December 2009
Registration is now open for the Logic Summer School December, the 18th in a series. The Summer School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas, and will be held at the ANU. In addition to the scheduled courses, there will be practical sessions giving students the opportunity to use web-based logic software.
Why Logic? Modern logic is the foundational discipline of the information sciences. It includes not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. It spreads into planning, into program synthesis, into circuit design and into discourse analysis. It underpins the entire science of artificial intelligence. Part mathematics, part philosophy and these days part computing science, logic remains a core intellectual study and is increasingly relevant to practical concerns.
Topics will be taught by world experts in their fields, including John Slaney, Rajeev Gore, Torsten Schaub, Peter Baumgartner, Michael Norrish, Andreas Bauer, Alwen Tiu, Patrik Haslum, and Errol Martin.
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. They will normally have completed at least an introductory logic course at tertiary level and have some background in related disciplines such as pure mathematics, analytical philosophy or computation theory. Anyone in doubt as to whether they have sufficient background knowledge should contact the Convenor at: John.Slaney@anu.edu.au
