🚀 go-pugleaf

The Automated Reasoning Project will host the 7th annual Logic Summer School at
the Australian National University, Canberra from 11 - 22 January 1999.

The School consists of short introductory courses on various aspects of logic,
presented by logicians from the ANU, from elsewhere in Australia and from
overseas. Some background in logic (at least a course or two at university
level or the equivalent) is assumed, but knowledge of the specific topics of
courses is not.

Courses and presenters this year are:

   Introduction to classical metalogic       John Slaney (ANU)

   Modal and temporal logic                  Greg Restall (Macquarie U)

   Automated theorem proving                 Matthias Fuchs (ANU)

   Formalization and problem solving         Toby Walsh (Strathclyde U)
      (provisional title)

   Computability and incompleteness          John Slaney (ANU)

   Nonclassical logics                       Hiroakira Ono (JAIST)

   Nonmonotonic reasoning & theory change    Morri Pagnucco (Macquarie U)

   Formal methods: higher order logic        Jim Grundy (ANU)

In addition, there will be 9 seminar-style presentations on logical subjects.
Speakers and titles are to be determined.

Fees: there is a single fee of $1500 (Aus) covering all 8 courses over the 10
days. $1500 Australian is approximately $940 US, or 796 ECU, or 111,000 Yen.
Registration is possible at any time up to the first day of the Summer School,
but for those registering in advance we can probably arrange accommodation on
campus at rates below those of local hotels.

For more information and the registration form, see
   http://arp.anu.edu.au/lss/lss1999.html
or email
   lss-admin@arp.anu.edu.au