30th Foundational Methods in Computer Science Workshop

Mount Allison University

June 7th-11th, 2023


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.

Important booking dates:

Important conference dates: Tutorial speakers:

Call for Participation/Talks: Anyone interested in attending is kindly requested to email Geoff Cruttwell by Friday May 19th. If you wish to give a talk, please also send a title and short abstract.We particularly encourage graduate students to attend FMCS and to present their work. Some limited funding toward accommodation and travel expenses is available to support graduate students who attend FMCS; if you wish to apply for this funding say so in your email indicating you will be attending the workshop.

Registration: Registration will take place on site. The registration fee will be $80 (Canadian, to be paid in cash) per person, and there is a reduced rate of $40 for students, postdocs and retired faculty without a grant.

Programme: A welcoming reception will be held on the evening of June 7th from 6:00-8:00pm in Tweedie Hall in the Wallace McCain student centre (#12 on the map below). Talks will begin at 9:30am on the morning of June 8th. All talks will be held in Room 106 of the Dunn building which is at the corner of York and Salem Streets (#18 on the map below). For more detail, see the campus map.

Schedule and Abstracts: The meeting schedule is here.
Abstracts are here.

Accommodation: We have reserved blocks of rooms in:

Coastal Inn: (located about 15 minutes walk from campus). Single and double rooms available. Check in on Wednesday June 7th; check out on Sunday, June 11th. You must book by May 7. Price $104.00 + 15% HST. Click here for the website to book a room, using the code gp178872 (case sensitive).

Mount Allison residences: various room sizes available:

(all prices include HST). See here for more details on room types. Click here to book a room in a Mount Allison residence.

Travel to Sackville: The closest airport to Sackville is the Moncton airport (YQM). Taxis from the Moncton airport to Sackville can be quite expensive (~$100 one way) and should be booked ahead of time. We will be organizing some rides to and from the airport at various times; when you know your plans, let us know when your flight will be arriving so that we can arrange this.

Participants and slides:

Geoff Cruttwell
JS Lemay (Classical distributive restriction categories)
Marcello Lanfranchi
Jeff Egger
Darien DeWolf
Florian Schwartz (Partial Monoids)
Priyaa Srinivasan (Quantum Message Passing Logic Part One, Part Two)
Michael Lambert (A cartesian equiptment bestiary)
Dorette Pronk (Double Grothendieck: double fibrations and double colimits Part One, Part Two)
Robin Cockett
Braden Foxcroft
Saina Daneshmandjahromi
Melika Norouzbeygi
Alexanna Little (Semantics for Non Determinism in Categorical Message Passing Language by Sup Lattice Enrichment)
Deni Salja
Geoff Vooys (Ind tangent categories)
Bob Rosebrugh
Peter Selinger
Eli Vandenberg
Frank Fu
Xiaoning Bian (Generators and relations for 3-qubit Clifford+CS Operators)
Robert Morisette
Rick Blute
Shayesteh Naeimabadi
Rose Kudzman-Blais
Jean-Baptiste Vienney (String diagrams for symmetric powers)
Amelie Comtois (Profunctors and Promonoidal Categories)
Jason Parker (Initial algebras for topologically enriched multi-sorted algebraic theories)
Scott Wesley
Rory Lucyshyn-Wright
Dongho Lee
Sean Rowley
Xiaoyu Jia
Fahimeh Bayeh
Robert Dawson
Image of participants

Organizers:
Geoff Cruttwell Kellie Mattatall
(506) 872-9354 (506) 364-2530
gcruttwell@mta.ca kmattatall@mta.ca