FMCS 2009 SCHEDULE

FMCS 2009 SCHEDULE

[John MacDonald]

                               FMCS 2009
       17th Workshop on Foundational Methods in Computer Science
                 University of British Columbia, VANCOUVER, Canada
                         MAY 28th - 31st, 2009

                           FINAL ANNOUNCEMENT

                                 * * *
Last minute registration is possible. Registration forms are available
from the conference webpage

http://www.pims.math.ca/scientific/general-event/foundational-methods-computer-science-2009

Accommodations may also be reserved from the same page.


                           FMCS 2009 SCHEDULE

Thursday, May 28, 2009

        3:00p.m. Gage residence rooms available for check-in

        6:00p.m. Welcome Reception - Ruth Blair AB - Gage Residence


Friday, May 29, 2009

                 Tutorial Sessions - WMAX 240 - 1933 West Mall

  9:00-10:30a.m. Ernie Manes - Equationally definable full subcategories of spaces.

10:30-11:00a.m. Break

11:00-12:30p.m. Vaughan Pratt - Axiomatizing affine and Euclidean space.

12:30-2:30p.m.  Lunch

  2:30-4:00p.m.  Pieter Hofstra - Types, groupoids and homotopy.

  4:00-4:30p.m.  Break

  4:30-5:30p.m.  Dorette Pronk -  The left and right adjoints of Span.

Saturday, May 30, 2009

                 Research talks - WMAX 240 - 1933 West Mall

  9:00-9:50a.m.  Mehrnoosh Sadrzadeh - What is the vector space content of
 		what we say? A compact categorical approach to distributed meaning.

  9:50-10:30a.m. Robert Seely - The basics of Cartesian differential restriction categories.

10:30-11:00a.m. Break

11:00-12:00     Michael Johnson - Monadicity, descent, and classical database view updating.

12:00-12:30p.m. Art Stone - What might Counter-bi-algebras be?

12:30-2:00p.m.  Lunch

  2:00-2:40p.m.  Robin Cockett - Cartesian differential restriction categories.

  2:40-3:05p.m.  Brian Redmond - TBA

  3:05-3:40p.m.  Shusaku Tsumoto - Medical data mining.

  3:40-4:10p.m.  Break

  4:10-4:35p.m.  Brett Giles - Reversible computation and Frobenius algebras.

  4:35-5:00p.m.  Aaron Hunter - Algebraic considerations on the dynamics of belief.

  6:00p.m.       Banquet - Cedar Room in the Ponderosa Building


  Sunday, May 31, 2005

                 Sunday talks will be in WMAX 240 - 1933 West Mall

  9:00- 9:50a.m. Bob Rosebrugh - EASIK: Database design and manipulation
                 implemented categorically.

  9:50-10:20a.m. Sean Nichols - On strong reduction in combinatory logic.

10:20-11:00a.m. Break

11:00-12:00     Vaughan Pratt - Euclid's postulates at all dimensions.



The following paragraphs repeat the information from the first
announcement.

The Department of Mathematics at the University of British Columbia
in cooperation with the Pacific Institute of Mathematical Sciences
is hosting the Foundational Methods in Computer Science workshop
on May 28th - 31st, 2009, on the University of British Columbia
Campus in Vancouver, Canada

The workshop is an annual informal meeting intended to bring together
researchers in mathematics and computer science. There is a focus
on the application of category theory in computer science. However, all
those who are interested in category theory or computer science are
welcome to
attend.

The meeting begins with a reception at 6pm in the Ruth Blair room
in Walter Gage Towers on the UBC campus on Thursday May 28, 2009.
The scientific program starts on May 29, and consists of a day of
tutorials
aimed at students and newcomers to category theory, as well as a day and
a half of research talks. The meeting ends at mid-day on May 31.

Research talks

There will be some invited presentations, but the majority of the
talks are solicited from the participants. If you wish to give a talk
please send a title and abstract to johnm@math.ubc.ca. Time
slots are limited, so please register early if you would like to be
considered for a talk.

Graduate student participation is particularly encouraged at FMCS.

Registration details will appear in the next announcement.


Previous meetings

Previous FMCS meetings were held in Pullman (1992), Portland (1993),
Vancouver (1994), Kananaskis (1995), Pullman (1996), Portland (1998),
Kananaskis (1999), Vancouver (2000), Spokane (2001), Hamilton (2002),
Ottawa (2003), Kananaskis (2004), Vancouver (2005), Kananaskis
(2006), Hamilton (2007), and Halifax (2008).

Organizing committee:

Robin Cockett (Calgary)
John MacDonald (UBC)
Phil Mulry (Colgate)
Peter Selinger (Dalhousie)

Local Organizer:

John MacDonald (UBC)



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