Wednesday, August 24, 2011

[DMANET] CATS 2012 : Call for papers (extended deadline)

Call for papers (extended deadline)

---------

CATS 2012 -- Computing: The Australasian Theory Symposium
Melbourne, Australia, January 30-February 2, 2012
http://cats.it.usyd.edu.au/

The 18th Computing: The Australasian Theory Symposium (CATS) will be
held in Melbourne, Australia, in January/February 2012. CATS is an
annual conference held in the Australia-New Zealand region, dedicated
to theoretical computer science.

Authors are invited to submit papers that present original and
unpublished research on topics related to theoretical aspects of
computer science, including (but not limited to):
- 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, and verification
- theory of programming languages

Important dates:
- Paper submission deadline: Monday 29 August, 2011
- Acceptance notification: Monday 10 October, 2011
- Final version due: Monday 7 November, 2011
- Conference dates: Monday 30 January - Thursday 2 February, 2012

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 2012 is part of the
Australasian Computer Science Week (ACSW), an international annual
conference event, supported by the Computing Research and Education
Association (CORE) in Australia. ACSW 2012 is hosted by RMIT
University in Melbourne, Australia.

For more information please visit http://cats.it.usyd.edu.au/
Contact: Julian Mestre <cats2012@easychair.org>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************