About the Summer School
The School of Computer Science in the ANU College of Engineering and Computer Science will host the Logic Summer School from 30 November to 11 December 2015. The Summer School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas, and be held at the Psychology G6 lecture theatre at ANU. In addition to the scheduled courses, there will be practical sessions giving students the opportunity to use web-based logic software.
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.
Is it for you?
- IT Professionals
For those who use formal methods or problem solving technologies, the Summer School provides relevant knowledge and exposure to contemporary techniques.
The Summer School is an excellent refresher course for anyone who teaches logic, whether in computing, mathematics or philosophy.
The Summer School provides a unique, high-quality, intensive period of study suitable for students going on to do research in logic or a related field.
The Summer School welcomes anyone who finds the idea of two weeks of wall-to-wall logic enticing.
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.
Note for ANU students
It is possible, subject to permission from the Course convenor (John Slaney), to count the Logic Summer School as a summer course under the code COMP3710. Some assessable assignment will be set after the program is finished. If you opt to do this, you should not register online via this site, but instead contact John Slaney by email. An independent study contract will need to be signed by both the student and the convenor before enrolment. A permission code will be sent to the student once the independent study contract is finalised.