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 CommitteeRoss Brady (LaTrobe)
John Cleary (Waikato)
Norman Foo (UNSW)
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)
- Papers must be submitted by 15 November, 1999
- Authors will be notified of acceptance/rejection by 15 December, 1999
Submission3 hard copies of a paper should be sent to:
Computer Sciences Laboratory, RSISE
Australian National University
Canberra, ACT 0200
EnquiriesEnquiries should be addressed to firstname.lastname@example.org.
Australasian Computer Science Week 2000For information about ACSW2k, see here.