[TYPES] CATS'06 - call for papers

cbj at it.uts.edu.au cbj at it.uts.edu.au
Wed Jun 15 02:36:43 EDT 2005

Computing: The Australasian Theory Symposium (CATS) in 2006

will be held at the Wrest Point Casino in Hobart from 16th-19th January
2006. CATS is the premier theoretical computer science conference in

Topics include, among others, logic and type systems.

Call for Papers at http://www-staff.it.uts.edu.au/~cbj/cats06/

Barry Jay

More information about the Types-list mailing list