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) *