[December 17, 2007]

			      FMCS 2008
      16th Workshop on Foundational Methods in Computer Science
		Dalhousie University, Halifax, Canada
			May 30 - June 1, 2008

	    http://www.mathstat.dal.ca/~selinger/fmcs2008/

			  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 welcome reception in the evening of May 29.
 The scientific program starts on May 30, 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
 June 1.

 FMCS 2008 takes place one week after MFPS 2008 (which will be held at
 the University of Pennsylvania). We hope that this will enable and
 encourage participants from overseas to attend both conferences!

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 fmcs2008@mathstat.dal.ca. Time
 slots are limited, so please register early if you would like to be
 considered for a talk.

Student support

 Graduate student participation is particularly encouraged at
 FMCS. Students will pay a reduced registration fee. We will also be
 able to provide limited financial support; if you are interested in
 this, please email us at fmcs2008@mathstat.dal.ca.

Special session

 There will be a special session in honor of Ernie Manes' 65th
 birthday. The special session organizer is Phil Mulry.

Accommodations

 We have reserved a block of rooms at the King's College residences.
 The rate, including taxes, are $37.37 per night for a single room,
 and $56.04 for a double room. Reservations can be made by sending an
 e-mail to conferences@admin.ukings.ns.ca and mentioning "FMCS 2008".
 Please make your reservations early to ensure availability.

Registration

 Please register for the meeting by emailing fmcs2008@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), and Hamilton (2007).

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)

				  *