FMCS 2012 20th Workshop on Foundational Methods in Computer Science Dalhousie University, Halifax, Canada June 14-17, 2012 http://www.mathstat.dal.ca/~selinger/fmcs2012/ FIRST 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 June 13, starting at 5:30. The scientific program starts on June 14, 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 June 17. 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 selinger@mathstat.dal.ca by May 1. Student support Graduate student participation is particularly encouraged at FMCS. Students will pay a reduced registration fee. We may also be able to provide limited financial support to students; if you are interested in this, please email selinger@mathstat.dal.ca by May 1. Please also arrange for a letter of reference from your supervisor, or appropriate other person, to the same email address. Special session There will be a special session in honor of Robin Cockett's 60th birthday. The special session organizers are Rick Blute, Pieter Hofstra, and Robert Seely. If you would like to talk in this session, please contact Rick, Pieter, or Robert. Registration Please register for the meeting by emailing selinger@mathstat.dal.ca. There will be a reasonable on-site registration fee to cover meeting costs. 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), Halifax (2008), Vancouver (2009), Kananaskis (2010), and Kananaskis (2011). 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) * [For admin and other information see: http://www.mta.ca/~cat-dist/ ]