Atlas home || Conferences | Abstracts | about Atlas
Host: Australian National University
Homepage: http://discus.anu.edu.au/~jwl/AWCL.html
Organizers: John Lloyd
Deadline for abstracts: November 15, 1999
Description:
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).
Date received: September 28, 1999
© 2008 Atlas Conferences Inc.