From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10076 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Richard Blute Newsgroups: gmane.science.mathematics.categories Subject: 28th Foundational Methods in Computer Science Workshop Date: Tue, 17 Dec 2019 20:05:48 +0000 Message-ID: Reply-To: Richard Blute Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="228454"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Tue Dec 17 21:45:56 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1ihJjA-000xHK-3G for gsmc-categories@m.gmane.org; Tue, 17 Dec 2019 21:45:56 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:56266) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ihJiF-000896-Co; Tue, 17 Dec 2019 16:44:59 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1ihJhO-0001zh-Uw for categories-list@rr.mta.ca; Tue, 17 Dec 2019 16:44:06 -0400 Accept-Language: en-CA, en-US Content-Language: en-CA Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10076 Archived-At: 28th Foundational Methods in Computer Science Workshop June 9-12, 2020, University Of Ottawa Foundational Methods in Computer Science is an annual workshop that brings = together researchers in theoretical computer science and category theory. = Past workshops have enjoyed talks in areas such as categorical quantum mech= anics, restriction categories, database design, and the differential and re= source logics. We will host tutorials and talks in several of these and re= lated areas. We anticipate having talks and tutorials for the entire day on June 9,10 an= d 11, with the possibility of additional talks on the morning of the 12th,= depending on how many talks are volunteered. The conference website is at http://aix1.uottawa.ca/~rblute/FMCS2020. This year, FMCS will immediately follow the 2020 Canadian Mathematical Soci= ety Summer Meeting, also held in Ottawa. We suggest attendees check out the= schedule for that conference as there are a number of sessions of interest= to category theorists. Support for graduate students: We particularly encourage graduate students to attend FMCS and to present t= heir work. Some limited funding is available to support graduate students w= ho wish to attend FMCS. To obtain the discounted registration and to apply = for this funding you should contact one of the local organizers. Talks: Anyone interested in giving a talk or tutorial should contact the local org= anizers, no later than May 15th. But earlier is better. Housing: We were unable to reserve housing in the campus dorms, but there will likel= y be some individual rooms available. We will be listing hotels on the conf= erence website shortly. It is recommended not to wait until the last minute= to book accommodations. Registration: There will be a small registration fee. It will help to cover refreshments = and subsidize students. Local Organizers: Rick Blute (rblute at uottawa dot ca) Pieter Hofstra (phofstra at uottawa dot ca) Phil Scott (philip dot scott at uottawa dot ca) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]