FMCS 2007 - Call for Participation

FMCS 2007 - Call for Participation

[Philip Mulry]

****************************************************
Second Announcement -  FMCS 2007


The Department of Computer Science at Colgate University is hosting
Foundational Methods in Computer Science 2007 on the Colgate University
campus in Hamilton N.Y.


Dates: Arrival on Thursday June 7, 2007 (Reception in the evening).
            Scientific Program Friday June 8 - Sunday June 10 (ends
mid-day).


The workshop is an annual meeting meant to bring together researchers in
mathematics and computer science with a focus on the application of category
theory in computer science. The meeting will begin with a day of research
tutorials, followed by a day and a half of research talks.


Invited speakers this year include:

  a.. Steve Awodey(Carnegie Mellon)
  b.. Steve Bloom(Stevens)
  c.. Robin Cockett (Calgary)
  d.. Paul Hudak(Yale)
  e.. Ernie Manes (U Mass)
  f.. Robert Rosebrugh(Mount Allison)

The remaining research talks are solicited from participants.
Time slots are limited, so please register early if you would like to be
considered for a talk.
Note: The registration deadline is May 20.
University accommodations can not be guaranteed after that date.

Graduate student participation is particularly encouraged at FMCS2007.
Students will pay a reduced registration fee.

Link: http://cs.colgate.edu/faculty/mulry/FMCS2007/FMCS2007.html

Contacts
The local organizer of FMCS 2007 is: Philip Mulry

The secretary for FMCS 2007 is Char Jablonski

FMCS 2007 - Call for Participation

[Philip Mulry]

First Announcement

FMCS 2007

Hamilton, N.Y. June 8 - 10, 2007

Local Organizer: Philip Mulry



Foundational Methods in Computer Science 2007 will be held on the campus of
Colgate University in Hamilton N.Y.

Dates: Arrival on Thursday June 7, 2007 (Reception in the evening).
            Scientific Program Friday June 8 - Sunday June 10 (ends
mid-day).

The workshop is an annual meeting meant to bring together researchers in
mathematics and computer science with a focus on the application of category
theory in computer science. The meeting will begin with a day of research
tutorials, followed by a day and a half of research talks.

Graduate student participation is particularly encouraged at FMCS 2007.

Further details on the meeting can be found at:
http://cs.colgate.edu/faculty/mulry/FMCS2007/FMCS2007.html

If you are interested in attending or giving a talk, you can send an email
to
fmcs2007@cs.colgate.edu