* FMCS 99
@ 1999-05-11 21:12 Robin Cockett
0 siblings, 0 replies; only message in thread
From: Robin Cockett @ 1999-05-11 21:12 UTC (permalink / raw)
To: categories
*************************************************
* *
* FFFFF M M CCC SSSS 9999 9999 *
* F MM MM C S 9 9 9 9 *
* FFFFF M MM M C SSS 99999 9999 *
* F M N C S 9 9 *
* F M M CCC SSSS 9999 9999 *
* *
**********************FMCS 99********************
CALL FOR PARTICIPATION:
The Department of Computer Science at the University of Calgary is hosting
the Foundational Methods in Computer Science workshop on June 3rd - 6th,
1999 at the Kananaskis Field Station in Alberta, Canada.
The workshop is an informal meeting to bring together researchers in
mathematics and computer science with a focus on the application of
category theory in computer science. It is a three day meeting, that
starts with a day of tutorials aimed at students and newcomers to
category theory, followed by a day and a half of research talks.
The meeting this year has a little website (the schedule and speakers
will be announced on the site) see:
http://www.cpsc.ucalgary.ca/~fmcs99
The workshop will have approximately the same format as last year,
with a day of tutorials on friday June 4 and shorter research
presentations on June 5 and 6.
Tutorials will be given by:
Ernie Manes More monads ...
Rick Blute Linear Logic
Phil Mulry Partial maps
David Benson Sketches and complexity
Due to the location (in the foothills of the Rockies) we shall be
adopting a mountain conference schedule: lectures will run
9:00am - 12:00pm, packed lunches (a chance for walks and talks etc.),
supper at 5:30pm, and lectures resume 7:00pm - 10:00pm. The area
offers walks of all standards in some of the most stunning mountain
scenery of the Rockies. In June the evenings still get quite cool.
We do have limited support for student participation (for which one
must apply) as usual student participation and talks are encouraged.
If you would like to attend this year please visit the web site and
send in your registration form!
I look forward to seeing you at FMCS ...
Robin Cockett
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-05-11 21:12 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-05-11 21:12 FMCS 99 Robin Cockett
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).