FMCS2015 - First Announcement (fwd)

FMCS2015 - First Announcement (fwd)

[Philip 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


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/ ]