********************************************** 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 the application of category theory in computer science. Location This year's meeting will be hosted in the Department of Computer Science at Colgate University located in Hamilton, NY. Program 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. Student support 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 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. The workshop website can be found at http://cs.colgate.edu/~phil/FMCS2015 Organizing committee: Robin Cockett (Calgary) Geoff Cruttwell (Mount Allison) Pieter Hofstra (Ottawa) John MacDonald (UBC) Phil Mulry (Colgate) Dorette Pronk (Dalhousie) Bob Rosebrugh (Mount Allison) Robert Seely (McGill) Local Arrangements: Philip Mulry [For admin and other information see: http://www.mta.ca/~cat-dist/ ]