From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10146 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Richard Blute Newsgroups: gmane.science.mathematics.categories Subject: FMCS 2020 Date: Sun, 23 Feb 2020 17:35:05 +0000 Message-ID: Reply-To: Richard Blute Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="28071"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Sun Feb 23 20:25:40 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1j5wsm-0007Be-An for gsmc-categories@m.gmane-mx.org; Sun, 23 Feb 2020 20:25:40 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:45520) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1j5wrZ-0006dB-5l; Sun, 23 Feb 2020 15:24:25 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1j5wrT-0005iu-Cb for categories-list@rr.mta.ca; Sun, 23 Feb 2020 15:24:19 -0400 Accept-Language: en-CA, en-US Content-Language: en-CA Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10146 Archived-At: 28th Foundational Methods in Computer Science Workshop Dept. of Mathematics and Statistics University of Ottawa June 9-12, 2020 Foundational Methods in Computer Science is an annual workshop that brings = together researchers in theoretical computer science and category theory. P= ast workshops have enjoyed talks in areas such as categorical quantum mecha= nics, restriction categories, database design, and the differential and res= ource logics. We will host tutorials and talks in several of these and rela= ted areas. We especially encourage graduate students to talk. 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. 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 by April 1s= t, 2020. 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. Details can be found here: https://www.uottawa.ca/housing/summer-accommodation Some good hotels in the area are: 1-The Business Inn, 180 MacLaren Street. https://thebusinessinn.com/ (This = is the best local option.) 2-The Swiss Hotel, 89 Daly Avenue. https://swisshotel.ca/ 3-Alt Hotel, Ottawa, 185 Slater Street. https://www.althotels.com/en/ottawa= / 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/ ]