First Announcement FMCS05 Foundational Methods in Computer Science JUNE 2nd - 5th, 2005 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. There are still a few places on the program left for research presentations of 20 to 30 minutes. To receive further information about FMCS05 as it becomes available, including information about housing and registration, please send email to johnm@math.ubc.ca with subject heading FMCS05 - WILL ATTEND or FMCS05 - MAY ATTEND. John MacDonald Local organizer, FMCS05