From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1174 Path: news.gmane.org!not-for-mail From: Graham Wrightson Newsgroups: gmane.science.mathematics.categories Subject: Re: Australasian Workshop on Computational Logic Date: Tue, 20 Jul 1999 09:24:51 +1000 (EST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017615 29816 80.91.229.2 (29 Apr 2009 15:06:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:55 +0000 (UTC) Cc: jwl@discus.anu.edu.au To: categories@mta.ca Original-X-From: cat-dist Thu Jul 22 12:04:30 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id KAA06539 for categories-list; Thu, 22 Jul 1999 10:32:32 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 61 Xref: news.gmane.org gmane.science.mathematics.categories:1174 Archived-At: 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/