CATS is part of Australasian Computer Society Week (ACSW) and will this time be hosted by the University of South Australia at its City West Campus.
Authors are invited to submit papers that present original, unpublished research in all areas of theoretical computer science. Typical, but not exclusive, areas of interest are:
algorithms and data structures
algorithmic game theory
combinatorial optimization
computability
computational complexity theory
computational geometry
graph theory and combinatorics
parallel and distributed algorithms
logic and type systems
program derivation
analysis verification theory of programming languages
留言