Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

5-7 February 2007, Universal Structures in Mathematics and Computing (USMC'07), Canberra, Australia

Date: 5-7 February 2007
Location: Canberra, Australia
Deadline: 19 January 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.

Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/

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 (). Deadline for talk titles and abstracts submission: 19th January 2007.

Please note that this newsitem has been archived, and may contain outdated information or links.