The Australian National University
USMC07 Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home

Workshop on Universal Structures in Mathematics and Computing (USMC'07)

Canberra, 5 - 7 February 2007

Presented by

Computer Sciences Laboratory
The Australian National University

Sponsored by

The Australian Mathematical Sciences Institute

and

The Logic and Computation Program, NICTA