From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8466 Path: news.gmane.org!not-for-mail From: Philip Mulry Newsgroups: gmane.science.mathematics.categories Subject: FMCS2015 - First Announcement (fwd) Date: Wed, 21 Jan 2015 20:21:33 -0400 Message-ID: Reply-To: Philip Mulry NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=UTF-8; format=flowed Content-Transfer-Encoding: QUOTED-PRINTABLE X-Trace: ger.gmane.org 1421934514 7170 80.91.229.3 (22 Jan 2015 13:48:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 22 Jan 2015 13:48:34 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Thu Jan 22 14:48:33 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YEI7c-0005hm-AF for gsmc-categories@m.gmane.org; Thu, 22 Jan 2015 14:48:32 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:33348) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YEI6l-00059M-J2; Thu, 22 Jan 2015 09:47:39 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YEI6k-00037E-G6 for categories-list@mlist.mta.ca; Thu, 22 Jan 2015 09:47:38 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8466 Archived-At: ********************************************** FMCS 2015 23rd Workshop on Foundational Methods in Computer Science Colgate University, Hamilton, NY, USA June 4-7, 2015 http://cs.colgate.edu/~phil/FMCS2015 FIRST ANNOUNCEMENT Foundational Methods in Computer Science is an annual workshop bringing together researchers in mathematics and computer science with a focus on th= e application of category theory in computer science. Location =C2=A0 This year's meeting will be hosted in the Department of Computer Sci= ence at Colgate University located in Hamilton, NY.=C2=A0=C2=A0 Program =C2=A0 There will be an informal welcoming reception on the evening of June= 4. The scientific program starts on June 5, and consists of tutorials, invited talks, and contributed talks. There will be an excursion on one of the afternoons. The meeting ends midday on June 7th. Information on submission of abstracts for contributed talks will appear shortly on the workshop website.=C2=A0 Student support =C2=A0 Graduate student participation is particularly encouraged at FMCS. Students will pay a reduced registration fee. Limited financial support may also be available to students. Those interested should email pmulry at colgate dot edu as soon as possible and no later than May 1. Registration, Housing & Travel =C2=A0 Details on registration, housing and directions will appear shortly = on the workshop website. Anyone interested in attending or contributing a talk can also email the local organizer at pmulry at colgate dot edu. There will be = a reasonable on-site registration fee to cover meeting costs. =C2=A0 The workshop website can be found at http://cs.colgate.edu/~phil/FMCS2015 Organizing committee: =C2=A0 Robin Cockett (Calgary) =C2=A0 Geoff Cruttwell (Mount Allison) =C2=A0 Pieter Hofstra (Ottawa) =C2=A0 John MacDonald (UBC) =C2=A0 Phil Mulry (Colgate) =C2=A0 Dorette Pronk (Dalhousie) =C2=A0 Bob Rosebrugh (Mount Allison) =C2=A0 Robert Seely (McGill) Local Arrangements: =C2=A0 Philip Mulry [For admin and other information see: http://www.mta.ca/~cat-dist/ ]