From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8846 Path: news.gmane.org!not-for-mail From: John MacDonald Newsgroups: gmane.science.mathematics.categories Subject: FMCS2016 Second Announcement Date: Mon, 7 Mar 2016 23:22:55 -0800 (PST) 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 1457484589 18714 80.91.229.3 (9 Mar 2016 00:49:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 9 Mar 2016 00:49:49 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Mar 09 01:49:41 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 1adSJl-0002Qj-OJ for gsmc-categories@m.gmane.org; Wed, 09 Mar 2016 01:49:37 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:41006) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1adSIw-0004lf-A6; Tue, 08 Mar 2016 20:48:46 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1adSIp-0004FV-N5 for categories-list@mlist.mta.ca; Tue, 08 Mar 2016 20:48:39 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8846 Archived-At: FMCS 2016 24th Workshop on Foundational Methods in Computer Science University of British Columbia, VANCOUVER, Canada JUNE 2 - 5, 2016 SECOND 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 The webpage for the conference is http://www.pims.math.ca/scientific-event/160602-fmcs. 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. 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 participation is particularly encouraged at FMCS. Accommodations Rooms may be reserved by clicking the link on the webpage. When you reach the accommodation link, then click on the Rooms and Suites link if you wish to access the lower cost accommodation available May-August, such as Gage Towers. Registration Send me email requesting a registration form. Deadline for early registration is May 2, 2016. If you are planning to attend, and have not already done so, then please send me email with the heading "Will attend". Tutorials and Special Research Presentations Tutorials Ernie Manes (U. Mass) Jamie Vicary (Oxford) Robin Cockett (Calgary) Dorette Pronk (Dalhousie) Research Presentations Vaughan Pratt Jamie Vicary 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/ ]