LOGIC SUMMER SCHOOL Sponsored by ANU and NICTA "Two weeks of wall-to-wall logic"
The annual Logic Summer School will take place at the Australian National University from 3rd to 14th December 2012.
This event is open to everyone, but is especially designed to be useful to students intending to do research at Honours level or above in logic-related fields, whether in computer science, mathematics, philosophy or another discipline. It consists of short courses taught by experts from Australia and overseas.
Topics:
Introduction to classical metalogic
Overview of automated reasoning
Introduction to modal and temporal logic
Equational reasoning
Theory and practice of diagnostic reasoning
Logical frameworks
Non-classical logics
Logic-based probabilistic reasoning
Computability, incompleteness and Goedel's theorems
Presenters (subject to confirmation) include Peter Baumgartner, Rachel Briggs, Ranald Clouston, Marie-Odile Cordier, Rajeev Gore, Alban Grastien, Jinbo Huang, Michael Norrish, Dirk Pattinson, Carsten Schurmann, John Slaney, Qing Wang.
A small number of scholarships, covering registration, travel, accommodation and meals, are available for selected students.
For more information, visit the web site http://lss.cecs.anu.edu.au
or write to the convenor of the summer school john.slaney@anu.edu.au
