Foundational Methods in Computer Science (May 28th - June 2nd)
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/ ]
participants (1)
-
Robin Cockett