FMCS2016 Third Announcement

FMCS2016 Third Announcement

[John MacDonald]

                                FMCS 2016
        24th Workshop on Foundational Methods in Computer Science
                  University of British Columbia, VANCOUVER, Canada
                          JUNE 2 - 5, 2016

                            THIRD 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 June 2-5, 2016, on the University of British Columbia
Campus in Vancouver, Canada

Registration

Deadline for early registration is May 2, 2016. To obtain a form send
email to johnm@math.ubc.ca with the heading "Registration".

Accommodations

To book accomodation go to the webpage

http://www.pims.math.ca/scientific-event/160602-fmcs

Then go to accommodation section and click on the link "here". This opens
to UBC housing, then click on the Rooms and Suites link in upper left hand
corner. Then click on Budget Rooms in Shared Apartments to get the most popular
choice of single rooms in Gage Towers. Other choices are available. This
booking can be done online or if you prefer you may use the toll-free number
1-888-822-1030. Please book early and note that reservations can be cancelled
up until about 3 days ahead of time.

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.

There will be a welcoming reception on Thursday June 2 in the Earth Sciences
Building on the UBC campus. The scientific program starts on June 3, and
consists of a day of tutorials aimed at graduate students and those new to the
field, as well as a day and a half of research talks. The meeting ends at 1pm
on Sunday June 5.

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 let me know before May 2, if you would like to be
considered for a talk.

Graduate student presentations are particularly encouraged at FMCS. There will
be a partial reimbursement of some accommodation expenses for some students
after the conference is over. For details see the webpage.

Tutorials and Research Presentations

Tutorials
Ernie Manes (U. Mass)
Jamie Vicary (Oxford)
Robin Cockett (Calgary)
Dorette Pronk (Dalhousie)

Research Presentations(As of April 10)
Vaughan Pratt(Stanford)
Jamie Vicary(Oxford)
Geoff Cruttwell(Mount Allison)
Darien DeWolf(Dalhousie)
Phil Mulry(Colgate)
Bob Rosebrugh(Mount Allison)
Laura Scull(Fort Lewis) Alanod Sibih(Dalhousie)
Four graduate students from Calgary


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), Kananaskis (2011), Halifax (2012), Sackville
(2013), Kananaskis (2014), Hamilton (2015).

Organizing committee:

Robin Cockett (Calgary)
Geoff Cruttwell (Mount Allison)
Pieter Hofstra (Ottawa)
J.Lauchie MacDonald (UBC)
Phil Mulry (Colgate)
Dorette Pronk (Dalhousie)
Bob Rosebrugh (Mount Allison)
Robert Seely (McGill)

Local Organizer:

J.Lauchie MacDonald (UBC)


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]