Australasian Workshop on Computational Logic, AWCL Australian National University, Canberra February 3-4, 2000 Call for Papers 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. Papers on all aspects of the theory, implementation, and application of Computational Logic are invited, where Computational Logic is to be understood broadly as the use of logic in Computer Science. 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) Deadlines --------- Papers must be submitted by 15 November, 1999 Authors will be notified of acceptance/rejection by 15 December, 1999 Further information is available at the workshop web site: http://discus.anu.edu.au/~jwl/AWCL.html Further information about the Australasian Computer Science Week 2000 is available at: http://cs.anu.edu.au/ACSW2k/