Atlas home || Conferences | Abstracts | about Atlas

CATS 2000 Computing: The Australasian Theory Symposium

January 31 - February 2, 2000

Canberra, ACT, Australia

Mathematics

Host: The Australian National University
Homepage: http://cs.anu.edu.au/cats2000/
Email: cats2000@cs.anu.edu.au.

Description:
Typical, but not exclusive, topics of interest include

- Algorithms and data structures - Category theory - Complexity and computability - Computational algebra, biology, geometry, logic, and number theory - Concurrency - Distributed and parallel computing - Formal semantics, specification, synthesis, and verification

Speakers: Rod Burstall (University of Edinburgh), Mariangiola Dezani (Università di Torino), Lance Fortnow (University of Chicago), Emo Welzl (ETH, Zürich)

Date received: June 11, 1999

© 2008 Atlas Conferences Inc.