Re: Australasian Workshop on Computational Logic

Re: Australasian Workshop on Computational Logic

[Graham Wrightson]

 
       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/