Foundational Methods in Computer Science (May 28th - June 2nd)

Foundational Methods in Computer Science (May 28th - June 2nd)

[Robin Cockett]

This is to announce: 

27th Foundational Methods in Computer Science Workshop

Where:

Biogeosciences Field Station
The Kananaskis Valley
University of Calgary

When:
May 28th -June 2nd, 2019

Website:
https://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS2019/FMCS2019.html

What:
Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory.  This years, while continuing to welcome talks from all areas of theoretical computer science and category theory, the workshop is happy to host a series of tutorials and talks on abstract differential geometry, differential categories, automatic differentiation, and homotopy theory.  As usual the meeting will be run on a mountain schedule.   

Welcome:
It you wish to attend,  please confirm your attendance by email with the local organizers (Kristine Bauer and Robin Cockett) as soon as possible.  Accommodation at the field station is limited (more details on the website) and the places will be filled on a first come first served basis.

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