From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9217 Path: news.gmane.org!.POSTED!not-for-mail From: Richard Blute Newsgroups: gmane.science.mathematics.categories Subject: Final Announcement for FMCS 2017 Date: Fri, 12 May 2017 20:06:24 +0000 Message-ID: Reply-To: Richard Blute NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1494637708 11742 195.159.176.226 (13 May 2017 01:08:28 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 13 May 2017 01:08:28 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Sat May 13 03:08:24 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1d9LXi-0002vw-Gp for gsmc-categories@m.gmane.org; Sat, 13 May 2017 03:08:22 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:53630) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1d9LWu-0001Uy-Au; Fri, 12 May 2017 22:07:32 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1d9LWF-00058l-Sm for categories-list@mlist.mta.ca; Fri, 12 May 2017 22:06:51 -0300 Accept-Language: en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9217 Archived-At: Final Announcement for FMCS 2017 +++++++++++++++++++++++++++++ Foundational Methods in Computer Science 2017 Ottawa, June 8-11 2017 Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory. P= ast workshops have had discussions on areas such as quantum programming languag= es, restriction categories, database design, and the differential and resource = logics. Past meetings have been held in Mount Allison, Dalhousie, Ottawa, Hamilton, Spok= ane, Vancouver, Kananaskis and Portland. The 2017 workshop is informal and interdisciplinar= y. This will be a four day meeting with tutorials aimed at students, with research talks as w= ell as talks by students on their thesis work in progress. The website can be found at http://aix1.uottawa.ca/~rblute/FMCS2017.html If you intend to give a talk, please send title and abstract to the organiz= ers by Monday 15th. Our plan is that the talks will begin on the morning of June 8th and we wil= l have a welcome reception on the evening of the 8th. Some limited funding toward accommodation expenses is available to support = graduate students who wish to attend FMCS. To apply for this funding you should contact Richa= rd Blute. Organizers: Richard Blute Pieter Hofstra (613) 562-5800, ext. 3535 (613) 562-5800, ext. 3494 rblute@uottawa.ca phofstra@uottawa.ca [For admin and other information see: http://www.mta.ca/~cat-dist/ ]