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.html FINAL 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 can be found on the workshop website. Research Talks There will be some invited presentations, but the majority of the talks are solicited from the participants. If you wish to give a talk please indicate on the registration form by May 1. 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 the local organizer as soon as possible and no later than May 1. Registration, Housing & Travel Details on registration, housing and directions can be found on the workshop website. Anyone interested in attending or contributing a talk can also email the local organizer at pmulry at colgate dot edu. The workshop website can be found at http://cs.colgate.edu/~phil/FMCS2015.html 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 --- This email has been checked for viruses by Avast antivirus software. http://www.avast.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]