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/ SECOND ANNOUNCEMENT: CALL FOR PARTICIPATION IMPORTANT DEADLINES: *** April 15 *** - please register to speak at the workshop. *** April 15 *** - to apply for student travel support * * * 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 welcome reception in the evening of May 29. The scientific program starts on May 30, 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 June 1. FMCS 2008 takes place one week after MFPS 2008 (which will be held at the University of Pennsylvania). We hope that this will enable and encourage participants from overseas to attend both conferences! TUTORIAL LECTURES: There will be four tutorial lectures, presented by: Pieter Hofstra (Ottawa) Ernie Manes (Massachusetts) Paul-Andre Mellies (Paris 7) Andrea Schalk (Manchester) SPECIAL SESSION: There will be a special session in honor of Ernie Manes' 65th birthday. The special session will be organized by Phil Mulry. TO GIVE A TALK: Prospective speakers are requested to send a title and optional abstract to fmcs2008@mathstat.dal.ca by *** April 15 ***. Late submissions may be considered if there is space. All submissions will be acknowledged by return email. STUDENT SUPPORT: Graduate student participation is encouraged at FMCS. Students will pay a reduced registration fee. We will also be able to provide limited support for travel and accommodations to students. If you are interested in this, please send a request to fmcs2008@mathstat.dal.ca by *** April 15 ***. Please also arrange for a letter of reference from your supervisor or appropriate other person. 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. It is preferred that you make your reservations by *** April 15 *** to ensure availability. 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, preferably by *** April 15 ***. There will be an on-site registration fee of $120 to cover meeting costs. A discounted registration fee 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) *