[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