Computing Meetings in Canberra

Forthcoming Meetings

Fifth Annual Logic Summer School, Automated Reasoning Project, ANU, 12-23 January 1997

Computational Number Theory Study Group, Computer Sciences Laboratory, ANU. From: 13 June 1996

Past Meetings

IFIP '96 14th World Congress, 2-6 September 1996

IFIP '96 World Conference, Teleteaching 96, 2-6 September 1996

IFIP '96 World Conference, Advanced IT Tools, 2-6 September 1996

IFIP '96 World Conference, Mobile Communications, 2-6 September 1996

Fourth Symbolic Reasoning Systems (SRS) Workshop, 20 April 1996

ACNN '96 - Seventh Australian Conference on Neural Networks, 10-12 April 1996

Eighth Australian Joint Conference on Artificial Intelligence (AI '95), 13-17 November 1995

Third Automated Reasoning Day, 13 November 1995