FMCS 2013: May 31st - June 3rd (Second Announcement)

FMCS 2013: May 31st - June 3rd (Second Announcement)

[Bob Rosebrugh]

For the meeting announced below, this is a reminder that:

Titles and abstracts are requested by May 1 and

Accommodation should be reserved before May 6.

The meeting web site is at:
http://www.mta.ca/~gcruttwell/FMCS2013.htm

best to all,
Bob Rosebrugh

---------- Forwarded message ----------
Date: Fri, 25 Jan 2013 16:05:01 -0400
From: Geoffrey Cruttwell <gcruttwell@mta.ca>
To: "categories@mta.ca" <categories@mta.ca>
Subject: categories: FMCS 2013: May 31st - June 3rd

                                   FMCS 2013

           21st Workshop on Foundational Methods in Computer Science

                   Mount Allison University, Sackville, Canada

                              May 31st - June 3rd, 2013



                       http://www.mta.ca/~gcruttwell/FMCS2013.htm



                            FIRST ANNOUNCEMENT



                                                                   * * *



      Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory, and in the past has met in Halifax, Ottawa, Calgary, Vancouver, Spokane, and Portland. It has been the source for fruitful collaboration and presentation of results related to these areas. Recent workshops have had discussions on areas such as quantum programming languages, restriction categories,  database design, and the differential and resource lambda-calculi.  This year's meeting will be hosted in the Department of Mathematics and Computer Science at Mount Allison University in Sackville, Canada.


     There will be an informal welcoming reception in the evening of May 
31st, starting at 5:30. The scientific program starts on June 1st, and 
consists of tutorials, invited talks, and contributed talks. There will be 
an excursion on one of the afternoons. The meeting ends on the afternoon 
of June 3rd.  Participants may wish to note that the summer CMS meeting 
begins the following day in Halifax (a 2 hour drive from Sackville) with a 
special session on higher categories.

     Invited speakers are Joachim Kock (Barcelona), Ernie Manes 
(Massachusetts), Eugenio Moggi (Genoa) and Michael Shulman (Institute for 
Advanced Study).

     The organizing committee is Robin Cockett, Geoff Cruttwell (local 
organizer), Phil Mulry, John Macdonald, Dorette Pronk, and Bob Rosebrugh 
(local organizer).

For more information about registering for the workshop, please visit 
http://www.mta.ca/~gcruttwell/FMCS2013.htm

For any questions, please contact Geoff Cruttwell at gcruttwell@mta.ca




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]