FMCS 2015 - Second Announcement

FMCS 2015 - Second Announcement

[Phil Mulry]

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


SECOND 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


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]