From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8810 Path: news.gmane.org!not-for-mail From: John MacDonald Newsgroups: gmane.science.mathematics.categories Subject: Re: FMCS2016 Vancouver, Canada. First Announcement Date: Sun, 31 Jan 2016 23:57:55 -0800 (PST) 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 1454333903 21086 80.91.229.3 (1 Feb 2016 13:38:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 1 Feb 2016 13:38:23 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Feb 01 14:38:15 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 1aQEgI-0003Go-8l for gsmc-categories@m.gmane.org; Mon, 01 Feb 2016 14:38:14 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:36558) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aQEf7-0007vb-5l; Mon, 01 Feb 2016 09:37:01 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aQEf1-0007K4-4f for categories-list@mlist.mta.ca; Mon, 01 Feb 2016 09:36:55 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8810 Archived-At: FMCS 2016 24th Workshop on Foundational Methods in Computer Science University of British Columbia, VANCOUVER, Canada JUNE 2-5, 2016 FIRST ANNOUNCEMENT * * * The Department of Mathematics at the University of British Columbia(UBC) in cooperation with the Pacific Institute of Mathematical Sciences(PIMS) is hosting the Foundational Methods in Computer Science(FMCS) workshop on June 2-5, 2016, on the UBC campus in Vancouver, Canada 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 us know early if you would like to be considered for a talk. Graduate student participation is particularly encouraged at FMCS. Accommodations A block of rooms will be reserved for participants on the UBC campus. If you plan on coming to the meeting please send a brief email to johnm@math.ubc.ca with the words "will attend" or "may attend" in the subject line. For those planning on bringing students along, please include estimated number, thus allowing us to better plan for room requirements and other logistics. The Second Announcement, with links to the conference webpage, will be out soon, containing details regarding registration and accommodation. 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). Local Organizer: J.Lauchie MacDonald (UBC) 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]