That Logic Blog

December 07, 2006


We're having a workshop!


Universal Structures in Mathematics and Computing

The Australian National University
Canberra, Australia
5 - 7 February 2007


Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.

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.

Structure and Scope:

The workshop will consist of several invited keynote talks as well as shorter contributed talks. Topics of interest include (but are not limited to):

* Operads and related structures
* Higher dimensional categories
* Coalgebras
* Clones in universal algebra
* Residuated lattices
* Algebraic logic
* Linear and other substructural logics
* Higher dimensional automata
* Concurrency theory
* Domain theory
* Type theory

Keynote Speakers:

* Brian Davey (La Trobe, Australia)
* Rob Goldblatt (VUW, New Zealand)
* Ross Street (Macquarie, Australia)
* Glynn Winskel (Cambridge, UK)

Talk submissions:

We solicit talks on topics related to the themes and spirit of the workshop. We aim to facilitate all those who wish to speak at the workshop. Submission of talks can be made by email to Alwen Tiu ( or Jon Cohen (


Registration for the workshop can be done online through the workshop website. The online registration will be opened on Friday, 15th December 2006 until 2nd February 2007.

* Full registration: AU$ 55 (incl. GST)
* Student registration: AU$ 35 (incl. GST)

Important Dates and Information:

* Deadline for registration: 2nd February 2007
* Deadline for talk titles and abstracts submission: 19th January 2007
* Workshop: 5 - 7 February 2007


A limited number of rooms have been reserved at University House ( and Ursula College ( Please quote the workshop name "USMC workshop" when reserving the rooms.

In addition, there are many hotels and hostels for those wishing to arrange their own accommodation. Locations in the city centre as well as the suburbs of Turner and Braddon are within walking distance of the university.
Details can be found at


The workshop is sponsored by the Australian Mathematical Sciences Institute (AMSI) and National ICT Australia.

Travel support:

There are limited travel funds available to support students and early-career researchers from AMSI members. Applications of funds have to be made directly to AMSI. See for details.

Organising Committee:

* Jonathan Cohen (ANU and NICTA)
* Brian Davey (La Trobe)
* Greg Restall (Melbourne)
* Alwen Tiu (ANU and NICTA)

* Jon Cohen (
* Alwen Tiu (


Anonymous Craig said...

Oh man, the good times, they be a comin', at USMC'07. I guess this means I will have to go back to Canberra at least once more.

6:47 PM  
Blogger Kea said...

Hi Jon

Thanks for the info. It would be good to see Rob G. again, but physics seems pretty irrelevant to you guys! Then again, if I'm doing nothing better, I might just pop along as a bystander...


4:04 PM  
Blogger david said...

Is there to be any material made available from the workshop?

4:23 AM  
Anonymous Jon said...

Hi David,
There's not much besides the titles and abstracts. Many people dynamically changed their talks to fit the heterogeneous audience. There are no plans to have any published proceedings at this stage.

8:54 AM  

Post a Comment

<< Home