FMCS 2024: 8th -- 13th July

FMCS 2024: 8th -- 13th July

[Robin Cockett]

[-- Attachment #1: Type: text/plain, Size: 2318 bytes --]

This is a preliminary announcement of the 31st Foundational Methods in Computer Science meeting : to help everyone plan a busy summer next year!

(  ... and because we have had to change the dates several times already.   These are the final dates available at the field station! )

Foundational Methods in Computer Science 2024 (FMCS 2024) will be held in the Kananaskis (Alberta, Canada)
           Arrive: 8th  July
            Leave 13th July

It will be held at the biogeoscience field station:

https://research.ucalgary.ca/biogeoscience-institute<https://protect-au.mimecast.com/s/cb_1CmO5wZsXqZVlcG-Pop?domain=research.ucalgary.ca>

Description: Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory. Past workshops have had discussions on areas such as quantum programming languages, restriction categories, database design, and the differential and resource logics. They have been held at Colgate, Dalhousie, Kananaskis (U of Calgary), Mount Allison, Ottawa, UBC, Spokane, and Portland. The workshop is informal and interdisciplinary.

-robin
(email: robin at ucalgary dot ca)

(robin Cockett
 Professor
 Computer Science
 University of Calgary)


[https://research.ucalgary.ca/sites/default/files/styles/ucws_hero_cta_desktop/public/2019-07/BGI-Hero-CTA-1.jpg?itok=fxPharE3]<https://protect-au.mimecast.com/s/cb_1CmO5wZsXqZVlcG-Pop?domain=research.ucalgary.ca>
Home | Biogeoscience Institute<https://protect-au.mimecast.com/s/cb_1CmO5wZsXqZVlcG-Pop?domain=research.ucalgary.ca>
The Biogeoscience Institute has been leading field research since 1950.
research.ucalgary.ca



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 10071 bytes --]