[TYPES/announce] USMC'07: Final call for talks and registration
Jon Cohen
jonathan.cohen at anu.edu.au
Thu Jan 4 06:26:57 EST 2007
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.
More information about the Types-announce
mailing list