From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8880 Path: news.gmane.org!not-for-mail From: John MacDonald Newsgroups: gmane.science.mathematics.categories Subject: FMCS2016 Third Announcement Date: Thu, 14 Apr 2016 15:39:36 -0700 (PDT) Message-ID: Reply-To: John MacDonald NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1460748923 27085 80.91.229.3 (15 Apr 2016 19:35:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 15 Apr 2016 19:35:23 +0000 (UTC) Cc: John MacDonald To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Apr 15 21:35:14 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 1ar9WL-0007N5-Vj for gsmc-categories@m.gmane.org; Fri, 15 Apr 2016 21:35:14 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:56037) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ar9W0-0004BH-Ac; Fri, 15 Apr 2016 16:34:52 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ar9Vr-0007cO-8p for categories-list@mlist.mta.ca; Fri, 15 Apr 2016 16:34:43 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8880 Archived-At: 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/ ]