This website has been superceded
You will automatically be redirected to the new site in 3 seconds.If your browser does not automatically take you there, click HERE.
The Australasian Association for Logic (AAL) is the professional organisation for logicians in Australia and New Zealand. We aim to encourage and disseminate research in all areas of logic. AAL members communicate with each other by way of annual meetings, an emaillist, and a journal. Membership is free, and not recorded: interested individuals are suggested to subscribe to the emaillist or to volunteer a presentation at the annual conference.
Annual conference
The annual conference of the Australasian Association for Logic takes place in New Zealand or in Australia. It is typically collocated with some other academic event related to logic. Some previous AAL meetings were:
- AAL 2001, Victoria University of Wellington
- AAL 2002 , Australian National University, Canberra
- AAL 2003, University of Adelaide
- AAL 2004 , University of Otago, Dunedin
- AAL 2005 , University of Western Australia, Perth
- AAL 2006 , University of Queensland, Brisbane
- AAL 2007 , University of Melbourne
- AAL 2008, University of Auckland
- AAL 2009, University of Melbourne
The AAL annual conference for 2009 will be held in the Philosophy Department of the University of Melbourne, 11th and 12th July 2009. Abstracts of presentations at AAL meetings later appear in The Bulletin of Symbolic Logic.
Australasian Journal of Logic
Established in 2003, the Australasian Journal of Logic is a fully refereed, freely available electronic journal covering all areas of research in logic. It aims to be a repository of timely, original and significant research in pure logic, and logic as it is applied in mathematics, computer science, linguistics and philosophy. Submissions are welcome. For more information, see http://www.philosophy.unimelb.edu.au/ajl/ .
ASL Committee on Logic in Australasia
One way in which Australasian logicians communicate with the rest of the world is by way of the ASL Committee on Logic in Australasia , a regional committee established by the Association of Symbolic Logic . The current members of the committee are: Ross Brady (Chair), Jeremy Seligman, Hans van Ditmarsch, Greg Restall, John Slaney (from 2007: Greg Hjorth), and Bakhadyr Khoussainov.
Other links
- Australasian Association of Philosophy
- The Australian Mathematical Society
- The New Zealand Mathematical Society
- Australian Linguistics Network
- The Linguistic Society of New Zealand
- Australasian Computer Science Week (2007)
- Computer Science Association of New Zealand
These webpages are currently maintained by Hans van Ditmarsch, hans@cs.otago.ac.nz