[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for papers


CATS 2010 -- Computing: The Australasian Theory Symposium Brisbane,
Australia, January 2010 http://cats.it.usyd.edu.au/


CATS (Computing: The Australasian Theory Symposium) is an annual conference
dedicated to theoretical computer science. In 2010, the 16th Computing: The
Australasian Theory Symposium will be held in Brisbane, Australia, January
18- 21, 2010.


Authors are invited to submit papers that present original and unpublished
research on topics including (but not limited to) the following areas: 

algorithms and data structures, complexity theory, graph theory, graph
algorithms and combinatorics, semantics of programming languages,
approximation and randomized algorithms, combinatorial optimization, formal
program specification and transformation, computational geometry,
algorithmic game theory, computational biology, logic and type systems,
computability and new paradigms of computation.


Deadlines and other dates:

Paper submission deadline: Monday August 17, 2009 Acceptance notification:
Monday October 5, 2009 Final version of accepted papers due: Monday November
2, 2009 Early registration: Monday December 7, 2009 Conference dates:
January 18-21, 2010


The proceedings of this event will be published by the Australian Computer
Society (ACS) in the CRPIT Series (http://crpit.com/), and will also appear
in the ACM digital library. CATS 2010 is part of the Australasian Computer
Society Week (ACSW), an international annual conference event, supported by
the Computing Research and Education Association (CORE) in Australia. ACSW
2010 is hosted by the School of Information Technology at the Queensland
University of Technology (QUT) in Brisbane, Australia, in January 2010.


For more information about CATS please visit http://cats.it.usyd.edu.au/

Contact: cats2...@easychair.org



Reply via email to