Australasian Workshop on Computational Logic, AWCL

Australian National University, Canberra, 3-4 February, 2000

A workshop on Computational Logic will take place during the Australasian Computer Science Week at the Australian National University in February, 2000. The purpose of the workshop is to bring together researchers who have common interests in Computational Logic. While the workshop is particularly aimed at researchers in Australasia, anyone interested from elsewhere is strongly encouraged to submit a paper or to attend.

During the workshop there will be a meeting to discuss a proposal to form an Australasian Association for Computational Logic to further the interests of the community. It is proposed that this Association be affiliated with the recently-formed International Federation for Computational Logic (see below).

The workshop will take place in the context of three recent important developments in Computational Logic:

  First International Conference on Computational Logic
  ACM Transactions on Computational Logic
  International Federation for Computational Logic

Papers on all aspects of the theory, implementation, and application of Computational Logic are requested, where Computational Logic is to be understood broadly as the use of logic in Computer Science.

Papers should be no more than 10 A4 pages in length. To ensure some uniformity in formatting, authors should use 11pt font and 15cm line lengths. Papers should include an abstract, immediately followed on the same page by the text of the paper. Submitted paper should be of camera-ready quality. Proceedings of the accepted papers will be available at the workshop.

Program Committee

Ross Brady (LaTrobe)
John Cleary (Waikato)
Norman Foo (UNSW)
Lindsay Groves(Victoria)
Rao Kotagiri (Melbourne)
John Lloyd (ANU, Chair)
Kim Marriott (Monash)
Malcolm Newey (ANU)
Claude Sammut (UNSW)
John Slaney (ANU)
John Staples (Qld)
Rodney Topor (Griffith)
David Wolfram (ANU)
Graham Wrightson (Newcastle)



3 hard copies of a paper should be sent to:

John Lloyd
Computer Sciences Laboratory, RSISE
Australian National University
Canberra, ACT 0200


Enquiries should be addressed to

Australasian Computer Science Week 2000

For information about ACSW2k, see here.