AWCL

Australasian Workshop on Computational Logic, AWCL

Australian National University, Canberra, 2-3 December, 2002

The 2002 Australasian Workshop on Computational Logic will be held on 2-3 December, 2002, in Canberra, Australia. The Workshop is co-located with AI'02 and AAL'02, the Annual Conference of the Australasian Association for Logic. The purpose of the workshop is to bring together researchers who have common interests in Computational Logic. To foster more interaction between computer scientists and logicians, AAL and AWCL will share a day of events, on 2 December.

Registration information

Advance program

Workshop Chair:

Harald Søndergaard
The University of Melbourne
harald@cs.mu.oz.au
Fax: + 61 3 9348 1184
Phone: +61 3 8344 9164

Program Committee:

John Cleary, University of Waikato, NZ
Norman Foo, University of New South Wales, AU
Rajeev Goré, Australian National University, AU
Hans Werner Guesgen, University of Auckland, NZ
Ian Hayes, The University of Queensland, AU
Kim Marriott, Monash University, AU
Mark Reynolds, Murdoch University, AU
Harald Søndergaard, The University of Melbourne, AU
Rodney Topor, Griffith University, AU

Workshop Web Site:

http://www.cs.mu.oz.au/awcl02/

Conference Venue and Related Events

Australia's attractive capital, Canberra, is located in the Australian Capital Territory. AAL'02 and AWCL'02 will take place in University House, at the Australian National University. Information about AI'02 (and more about Canberra) can be found here.