FMCS2016 Fourth Announcement

FMCS2016 Fourth Announcement

[John MacDonald]

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

                              FOURTH 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

To register for FMCS send email to johnm@math.ubc.ca with the heading
"Registration" and a form will be emailed to you. If you plan to
attend and have not already registered, then please let us know as
soon as possible for planning purposes.

On campus accommodation is still available, as of May 14.

To book accommodation 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 soon 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.


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

Participants(As of May 14)
Robin Cockett  (Calgary)
Geoff Cruttwell(Mount Allison)
Robert Dawson(St. Mary's)
Darien DeWolf(Dalhousie)
Jonathan Gallagher(Calgary)
Prashant Kumar(Calgary)
JS Lemay(Calgary)
Rory Lucyshyn-Wright(Mount Allison)
Ben MacAdam(Calgary)
Lauchie MacDonald(British Columbia)
Ernie Manes(U.Mass)
Phil Mulry(Colgate)
Chad Nester(Calgary)
Vaughan Pratt(Stanford)
Dorette Pronk(Dalhousie)
Bob Rosebrugh(Mount Allison)
Lucius Schoenbaum(Louisiana State)
Laura Scull(Fort Lewis)
Robert Seely(John Abbott)
Alanod Sibih(Dalhousie)
Priyaa Varshinee Srinivasan(Calgary)
Jamie Vicary(Oxford)

For further information about FMCS please go to the conference
webpage.

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/ ]