FMCS 2008, Halifax, next weekend

FMCS 2008, Halifax, next weekend

[Peter Selinger]

                              FMCS 2008
      16th Workshop on Foundational Methods in Computer Science
                Dalhousie University, Halifax, Canada
                        May 30 - June 1, 2008

            http://www.mathstat.dal.ca/~selinger/fmcs2008/

			  LAST ANNOUNCEMENT

                                * * *

 Foundational Methods in Computer Science is an annual workshop
 bringing together researchers in mathematics and computer science with
 a focus on the application of category theory in computer science.

 This year's meeting will be hosted in the Department of Mathematics
 and Statistics at Dalhousie University in Halifax, Canada.

 There will be an informal welcoming reception in the evening of May
 29, starting at 5:30. The scientific program starts on May 30, and
 consists of four 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 June 1.

TUTORIAL LECTURES:

 Pieter Hofstra (Ottawa), "Fibrations and proofs"
 Ernie Manes (Massachusetts), "Recurrence"
 Paul-Andre Mellies (Paris 7), TBA
 Andrea Schalk (Manchester), "Building *-autonomous categories"

SPECIAL SESSION HONORING ERNIE MANES'S 65TH BIRTHDAY:

 Philip Mulry (Colgate), "Welcome to special session"
 Stephen Bloom (Stevens), "Conway and iteration semirings"
 Robin Cockett (Calgary), "Ernie and adding complements"
 Fred Linton (Wesleyan), "A double cover of Heath's V-space admitting
                          no global section"
 Bob Pare (Dalhousie), "Double triples"
 Bill Lawvere (SUNY Buffalo), "Extensivity and rig geometry"

CONTRIBUTED TALKS:

 Brendan Cordy (McGill), "Constructing final coalgebras with modal logic"
 Emily Diepenveen (Ottawa), "Relational models of the untyped lambda calculus"
 Brett Giles (Calgary), "Reversible computation - a restriction category view"
 Joachim de Lataillade (Ottawa), "Strachey parametricity and game semantics"
 Toby Kenney (Dalhousie), "Codistributive diads"
 John MacDonald (UBC), "Street orientals and Steiner n-categories"
 Octavio Malherbe (Ottawa), "Presheaf models of quantum lambda calculus"
 Dorette Pronk (Dalhousie), TBA
 Brian Redmond (Calgary), "Safe recursion revisited"
 Peter Selinger (Dalhousie), "Fibonacci objects"
 Benoit Valiron (Ottawa), "Semantics of higher order quantum computation"
 Richard Wood (Dalhousie), "Partial products"

PROGRAM:

 A preliminary program is available at the conference website.

 There will be a welcoming reception on Thursday, May 29 in the Chase
 building, room 319. The reception will start at 5:30, and continue
 until 8, or as long as there are people.

LOCATION AND ARRIVAL:

 The workshop will take place at:

 Chase Building, Room 319
 Department of Mathematics and Statistics
 Dalhousie University
 Halifax, Nova Scotia B3H 3J5
 Canada

 A campus map, showing the Chase building as C280, can be found at:
 http://www.mathstat.dal.ca/~selinger/fmcs2008/01studleymap.pdf

 From the airport, the most economic way to get to Halifax is by the
 Halifax Airporter Shuttle <http://www.airporter.biz/>. This shuttle
 runs many times per day and reservations are not required. The
 one-way fare is $18. You can get off at the Lord Nelson Hotel on
 Spring Garden Road (a short walk to the university; see the map on
 the conference website). Alternatively, you can catch a taxi from the
 airport for $53.

ACCOMMODATIONS:

 We have reserved a block of rooms at the King's College residences.
 The rate, including taxes, are $37.37 per night for a single room,
 and $56.04 for a double room. Reservations can be made by sending an
 e-mail to conferences@admin.ukings.ns.ca and mentioning "FMCS 2008".
 A reservation form is available from the workshop website.

 For those wishing to stay in a hotel or bed & breakfast, some
 information is available on the conference website.

REGISTRATION:

 Please register for the meeting by emailing fmcs2008@mathstat.dal.ca.
 There will be an on-site registration fee of $120 to cover meeting
 costs. A discounted registration fee of $40 is available for students
 and for researchers without grant.

MAPS AND LOCAL INFORMATION:

 Local information, including maps, is available from the conference
 website, http://www.mathstat.dal.ca/~selinger/fmcs2008/

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), and Hamilton (2007).

ORGANIZING COMMITTEE:

 Robin Cockett (Calgary)
 John MacDonald (UBC)
 Phil Mulry (Colgate)
 Dorette Pronk (Dalhousie)
 Robert Seely (McGill)
 Peter Selinger (Dalhousie)

LOCAL ORGANIZERS:

 Dorette Pronk (Dalhousie)
 Peter Selinger (Dalhousie)

                                  *