[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FINAL CALL FOR TALKS AND REGISTRATION Universal Structures in Mathematics and Computing http://usmc07.rsise.anu.edu.au The Australian National University Canberra, Australia 5 - 7 February 2007 * Deadline for registration: 2nd February 2007 * Deadline for talk titles and abstracts submission: 19th January 2007 This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas. Keynote Speakers: * Brian Davey (La Trobe, Australia) * Rob Goldblatt (VUW, New Zealand) * Ross Street (Macquarie, Australia) * Glynn Winskel (Cambridge, UK) Please see the workshop website for futher details on registration, submission of talks, topics of interest and accommodation details. The workshop is sponsored by the Australian Mathematical Sciences Institute (AMSI) and National ICT Australia.