I wrote:
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.
As you may have noticed, this is a 3.5-day meeting; the tutorials will take up one (not necessarily consecutive) day, and this leave *two* and a half days of research talks. Sorry if this has caused any confusion! -- Peter Peter Selinger wrote:
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/ ]