From: Graham Wrightson <graham@cs.newcastle.edu.au>
To: categories@mta.ca
Cc: jwl@discus.anu.edu.au
Subject: Re: Australasian Workshop on Computational Logic
Date: Tue, 20 Jul 1999 09:24:51 +1000 (EST) [thread overview]
Message-ID: <Pine.SOL.3.91.990720091746.9813D-100000@olive.newcastle.edu.au> (raw)
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/
reply other threads:[~1999-07-19 23:24 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.SOL.3.91.990720091746.9813D-100000@olive.newcastle.edu.au \
--to=graham@cs.newcastle.edu.au \
--cc=categories@mta.ca \
--cc=jwl@discus.anu.edu.au \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).