John Slaney


Professor Emeritus in the School of Computing at the Australian National University.

Research interests in the Computing Foundations and Intelligent Systems clusters.

Former leader of the Logic and Computation Program in NICTA (National ICT Centre of Excellence, Australia)

Author of a cool web site, providing LOGIC FOR FUN

Instigator and convenor (1993–2019) of the annual LOGIC SUMMER SCHOOL

Image not displayed

Teaching materials

Click the image for details.

Research Interests

Relevant logic
Other substructural logics
Temporal logic

Automatic theorem proving
ROO (Radically Optimized Otter)
SCOTT (Semantically Constrained Otter)
Miscellaneous contributions ,

Artificial Intelligence
Constraint satisfaction

Other things
Logic teaching

Here is some software available for download.

Here is a list of co-authors and research collaborators.


I was born in England but escaped, taught logic in philosophy departments for several years, escaped again and moved to Canberra in 1988, ostensibly to help automate reasoning. Here I still am, still researching a range of topics from deviant logics to mainstream AI, though from 2011 to 2020 much of my time was devoted again to teaching.

My retirement at the end of 2020 meant a move to the Emeritus faculty and an end to lecturing, but has not stopped me otherwise.

I like doing this. The ANU is an amazing place to be a researcher, Canberra is a better city to live in than you would believe from listening to Australians from anywhere else, there are colleagues doing exciting work everywhere I look, and for over 30 years I actually got paid for thinking about logic and hacking code! That's as good as it gets.

Other likes: travel, good food (enthusiastic but inexpert cook), classical music (enthusiastic but inexpert pianist).
Dislikes: no really interesting ones (sorry).

Dr J K Slaney                       Phone (Aus.):  (026) 125 8607
Theory Group                        Phone (Int.): +61 26 125 8607
Research School of Computer Science Fax (Aus.):    (026) 125 8651
Australian National University      Fax (Int.):   +61 26 125 8651
Canberra, ACT, 0200, AUSTRALIA