[TYPES/announce] USMC'07 - Call for talks and participation

Jon Cohen jonathan.cohen at anu.edu.au
Wed Dec 6 22:45:58 EST 2006


[Apologies for multiple copies]

CALL FOR TALKS AND PARTICIPATION

Universal Structures in Mathematics and Computing

http://usmc07.rsise.anu.edu.au

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

Aim:

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  
(Alwen.Tiu at rsise.anu.edu.au) or Jon Cohen  
(Jonathan.Cohen at rsise.anu.edu.au).

Registration:

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

Accommodation:

A limited number of rooms have been reserved at University House  
(http://www.anu.edu.au/unihouse/) and Ursula College (http:// 
ursula.anu.edu.au/Ursula/12.html). 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 http://www.canberratourism.com.au/.

Sponsors:

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 http://www.amsi.org.au for  
details.

Organising Committee:

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

Contact:
   * Jon Cohen (Jonathan.Cohen at rsise.anu.edu.au)
   * Alwen Tiu (Alwen.Tiu at rsise.anu.edu.au)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20061206/4da80554/attachment.htm


More information about the Types-announce mailing list