Third Announcement FMCS05 Foundational Methods in Computer Science JUNE 2nd - 5th, 2005 In order to register and find accommodation for the FMCS05 meetings please go to http://www.pims.math.ca/science/2005/05fmcs If you are planning to attend and do not yet have accommodation, then you should book soon through the website. At latest check there were still spaces available on campus even though the block of rooms specifically reserved for FMCS was released one month before the starting date(this is the standard procedure of the UBC Conference Centre). If you wish to speak and have not previously indicated this, then please let me know by Wednesday May 18 since there are still a couple of spaces for 20 or 30 minute talks. Those who are speaking but have not yet sent an abstract should send a brief abstract of about 1/2 page by May 20. If you are not on the following participant list and if you plan to attend or may attend, then please let me know by May 30 since that is the cutoff date for the caterers for the banquet and reception. If you are on the participant list and wish to bring someone with you to the banquet, then please let me know by May 30 as well. You are welcome to register for the meetings after that but the May 30 number given for the banquet cannot be changed. FMCS05 PARTICIPANTS(as of May 12, 2005) Stephen Bloom, Stevens Institute of Technology, USA Rick Blute, University of Ottawa, Canada Robin Cockett, University of Calgary, Canada Christopher Dutchyn, University of British Columbia, Canada X. Guo, University of Calgary, Canada Dana Harrington, University of Calgary, Canada Pieter Hofstra, University of Ottawa, Canada Michael Johnson, Macquarie University, Australia John MacDonald, University of British Columbia, Canada Ernie Manes, UMass Amherst, USA Philip Mulry, Colgate University, USA David Oury, McGill University, Canada Vaughan Pratt, Stanford University, USA Brian Redmond, University of Ottawa, Canada Bob Rosebrugh, Mt. Allison University, Canada Saheed Salehi, University of Turku, Finland Robert Seely, McGill University, Canada Art Stone, Vancouver, Canada Paul Taylor, Manchester, UK Varmo Vene, University of Tartu, Estonia The following paragraphs repeat the key information from the first two announcements. The Department of Mathematics at the University of British Columbia in cooperation with the Pacific Institute for Mathematical Sciences is hosting the Foundational Methods in Computer Science workshop from June 2nd to June 5th, 2005, on the University of British Columbia Campus in Vancouver, B.C., Canada The workshop is an informal meeting to bring together researchers in mathematics and computer science with a focus on the application of category theory in computer science. The meeting begins with a reception at 6pm in the Ruth Blair room in Walter Gage Towers on the UBC campus on Thursday June 2, 2005. This is followed by a day of tutorials aimed at students and newcomers to computer science applications of category theory, followed by a day and a half of research talks. The meeting ends at 1pm on Sunday June 5. There will be a few invited presentations, but the majority of the talks are solicited from the participants. Student participation is particularly encouraged at FMCS. John MacDonald Local organizer, FMCS05 16-May-2005 15:02:53 -0300,3682;000000000000-00000006