From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8904 Path: news.gmane.org!not-for-mail From: John MacDonald Newsgroups: gmane.science.mathematics.categories Subject: FMCS2016 Fourth Announcement Date: Sat, 14 May 2016 23:07:20 -0700 (PDT) Message-ID: Reply-To: John MacDonald NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Trace: ger.gmane.org 1463321609 11215 80.91.229.3 (15 May 2016 14:13:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 15 May 2016 14:13:29 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun May 15 16:13:21 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1b1wn8-0006M6-Oy for gsmc-categories@m.gmane.org; Sun, 15 May 2016 16:13:10 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43030) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1b1wml-0005Pr-6v; Sun, 15 May 2016 11:12:47 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1b1wma-0001AA-Hm for categories-list@mlist.mta.ca; Sun, 15 May 2016 11:12:36 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8904 Archived-At: 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/ ]