From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9827 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Robin Cockett Newsgroups: gmane.science.mathematics.categories Subject: Foundational Methods in Computer Science (May 28th - June 2nd) Date: Fri, 8 Feb 2019 01:44:13 +0000 Message-ID: Reply-To: Robin Cockett Mime-Version: 1.0 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="8594"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Fri Feb 08 15:47:00 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([198.164.44.56]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gs7Qi-00021P-2g for gsmc-categories@m.gmane.org; Fri, 08 Feb 2019 15:47:00 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40383) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gs7Pn-000443-N5; Fri, 08 Feb 2019 10:46:03 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gs7Ov-0005P3-6v for categories-list@mlist.mta.ca; Fri, 08 Feb 2019 10:45:09 -0400 Accept-Language: en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9827 Archived-At: This is to announce:=A0=0A= =0A= 27th Foundational Methods in Computer Science Workshop=0A= =0A= Where:=0A= =0A= Biogeosciences Field Station=0A= The Kananaskis Valley=0A= University of Calgary=0A= =0A= When:=0A= May 28th -June 2nd, 2019=0A= =0A= Website:=0A= https://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS2019/FMCS2019.html=0A= =0A= What:=0A= Foundational Methods in Computer Science is an annual workshop that brings = together researchers in theoretical computer science and category theory.= =A0 This years, while continuing to welcome talks from all areas of theoret= ical computer science and category theory, the workshop is happy to host a = series of tutorials and talks on abstract differential geometry, differenti= al categories, automatic differentiation, and homotopy theory. As usual th= e meeting will be run on a mountain schedule.=A0 =A0=0A= =0A= Welcome:=0A= It you wish to attend, please confirm your attendance by email with the lo= cal organizers (Kristine Bauer and Robin Cockett) as soon as possible. Acc= ommodation at the field station is limited (more details on the website) an= d the places will be filled on a first come first served basis.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]