FMCS 2009 17th Workshop on Foundational Methods in Computer Science University of British Columbia, VANCOUVER, Canada MAY 28th - 31st, 2009 SECOND ANNOUNCEMENT * * * FMCS09 now has a website where one can reserve accommodation online. The address is http://www.pims.math.ca/scientific/general-event/foundational-methods-comput... I would urge you and your students, if any are attending, to book accommodation early since the housing office will not guarantee booking for our group past April 28. They will, however continue to book if space is available. The third announcement will contain a more complete list of participants so if you are not on the preliminary list of particpants and you will or may attend, then please send email to johnm@math.ubc.ca with subject heading FMCS09 - WILL ATTEND or FMCS09 - MAY ATTEND. Preliminary List of Participants: Robin Cockett, Computer Science University of Calgary Calgary, Alberta Pieter Hofstra, Mathematics University of Ottawa Ottawa, Ontario Mike Johnson, Mathematics and Computer Science Macquarie University Sydney, Australia John MacDonald, Mathematics University of British Columbia Vancouver, British Columbia Ernie Manes, Mathematics University of Massachusetts Amherst, Massachusetts Phil Mulry, Computer Science Colgate University Hamilton, New York Dorette Pronk, Mathematics Dalhousie University Halifax, Nova Scotia Bob Rosebrugh, Mathematics and Computer Science Mount Allison University Sackville, New Brunswick R A G Seely, Mathematics McGill University Montreal, Quebec Peter Selinger, Mathematics Dalhousie University Halifax, Nova Scotia Art Stone, Mathematics Vancouver, British Columbia Hofstra student, Ottawa, Ontario Cockett student(s), Calgary, Alberta The following paragraphs repeat the information from the first announcement. The Department of Mathematics at the University of British Columbia in cooperation with the Pacific Institute of Mathematical Sciences is hosting the Foundational Methods in Computer Science workshop on May 28th - 31st, 2009, on the University of British Columbia Campus in Vancouver, Canada The workshop is an annual informal meeting intended to bring together researchers in mathematics and computer science. There is a focus on the application of category theory in computer science. However, all those who are interested in category theory or computer science are welcome to attend. The meeting begins with a reception at 6pm in the Ruth Blair room in Walter Gage Towers on the UBC campus on Thursday May 28, 2009. The scientific program starts on May 29, 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 May 31. 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 johnm@math.ubc.ca. Time slots are limited, so please register early if you would like to be considered for a talk. Graduate student participation is particularly encouraged at FMCS. Registration details will appear in the third announcement. 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), and Halifax (2008). Organizing committee: Robin Cockett (Calgary) John MacDonald (UBC) Phil Mulry (Colgate) Peter Selinger (Dalhousie) Local Organizer: John MacDonald (UBC)