About the Workshop

Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and mathematics. Past workshops have been held at BIRS, Colgate University, Dalhousie University, Mount Allison University, University of Ottawa, University of British Columbia, University of Washington (Spokane), Reed College, and elsewhere. The meeting planned at St. Francis Xavier University in 2026 will be the 33rd meeting.

Registration deadline: Friday, May 22, 2026.  |  Abstract deadline: Friday, June 5, 2026.

Registration fees will be collected on-site at the workshop. The registration fee is $100. There is no fee for postdocs and students. Registration helps with schedule planning and catering; please also indicate any dietary or accessibility needs at that time.
AARMS EDI Self-Identification Questionnaire. FMCS 2026 is sponsored in part by AARMS (Atlantic Association for Research in the Mathematical Sciences). As a condition of AARMS sponsorship, all adult participants are asked to complete the AARMS EDI Self-Identification Questionnaire. Completion is not mandatory; if you prefer not to participate, please visit the questionnaire and select the "decline" option at the first question. The questionnaire does not collect any personally identifying information (name, email, etc.) and is used only to compile aggregate statistics in accordance with AARMS EDI policy.

Important Dates

Friday, May 1, 2026
Student financial assistance request deadline. Students seeking financial support to attend FMCS 2026 should contact the organizer by this date. Priority will be given to students without other sources of funding.
Friday, May 22, 2026
Registration deadline. To assist with schedule planning and catering arrangements, please register by this date. Registration indicates whether you plan to present a talk, along with any dietary or accessibility needs. Registration fees are collected on-site; registration is free for students and postdocs.
Register →
Friday, May 22, 2026
Accommodation block deadline. Rooms reserved in the FMCS block at StFX's Riley Hall must be booked by this date.
Book Accommodation →
Friday, June 5, 2026
Abstract submission deadline. Please submit your abstract by this date.
Submit an Abstract →

📷

Conference photo to be added!

FMCS 2026 Conference Photo

Confirmed Tutorial Presentations

Rose Kudzman-Blais (Kyoto University, Japan) Title to be announced.
Michael Lambert (Norwich University, USA) Title to be announced.
Marcello Lanfranchi (Macquarie University, Australia) Partiality in context.
Robin Cockett (University of Calgary, Alberta, Canada) Title to be announced.
Dorette Pronk (Dalhousie University, Nova Scotia, Canada) Title to be announced.
Rory Lucyshyn-Wright (Brandon University, Manitoba, Canada) Title to be announced.
Geoff Crutwell (Mount Allison University, New Brunswick, Canada) Title to be announced.
Lyne Moser (Universität Regensburg, Germany) Title to be announced.
Susan Niefield (Union College, USA) Title to be announced.

Program of Abstracts

The program of abstracts will be made available as a PDF once submissions have been reviewed.

Abstract submission deadline: Friday, June 5, 2026.

LaTeX supported. Use $...$ for inline math, \[...\] or $$...$$ for display math. Macros from amsmath and amssymb are available in the compiled PDF.

Schedule

The full schedule will be posted closer to the conference.

Reception

The opening reception will be held on the evening of June 15 at Scholar's Walk in Mulroney Hall (building 8 on the campus map).

Participants

Accommodations

On-campus accommodation is available at St. Francis Xavier University's Riley Hall, conveniently located on the StFX campus. Rooms can be booked directly through the StFX Conference Services portal.

Book Accommodation at StFX →

Rooms in the FMCS block must be reserved by Friday, May 22, 2026.

Availability
June 15-19, 2026 (early arrival June 14 available)
Rate
$109.00/night + taxes & tourism levy = $127.99/night
Room type
Standard single room: 1 double bed, working desk, complimentary high-speed Wi-Fi. Located in Riley Hall. Sleeps 2.
Extra guest
Cot available (subject to availability) for a 3rd guest at $20/night extra.
Amenities
Microwave, mini-fridge, coffee maker
Washroom
Private washroom with shower/bathtub (walk-in shower available on request)
Common areas
Lounges, large gourmet kitchen, laundry facilities
Housekeeping
Provided every third day of stay. Towels or additional items may be requested at the front desk.
Cancellation
Full refund if cancelled more than 48 hours prior to arrival.

Location

St. Francis Xavier University occupies a compact, walkable campus in the heart of Antigonish. Workshop talks will be held in Schwartz School of Business, Room 215 (building 3 on the campus map). The opening reception will be at Scholar's Walk in Mulroney Hall (building 8 on the campus map). On-campus accommodation is in Riley Hall (building 40 on the campus map).

View StFX Campus Map →

Directions to Antigonish

By Car

Antigonish is located in Nova Scotia on the Trans-Canada Highway (Highway 104). Take Exit 32 for Antigonish. St. Francis Xavier University is situated in the centre of town and is clearly signposted.

Directions via Apple Maps →  |  Directions via Google Maps →

By Air

Halifax Stanfield International Airport (YHZ): approximately 180 km from Antigonish (~1.75 hours by car). Car rental is available at the airport. There is also a Maritime Bus stop there.

By Bus

Maritime Bus operates scheduled coach service along the Trans-Canada corridor with a stop in Antigonish. Check maritimebus.com for current schedules and fares.

Things To Do in Antigonish

Dining

The campus is centrally located and most dining is within a 1.5 km radius.

The usual chains — Tim Hortons, McDonald's, Subway, Boston Pizza, and others — are available on Main Street. Below are some locally-owned and independent options worth trying:

Outdoor Activities

  • Keppoch Mountain
    Address: 193 Keppoch Rd, Beaver Meadow, NS
    Distance from campus: 14 km (15 min drive)
    Link: thekeppoch.ca
  • Cape George Heritage Trails
    Address: Route 337, Cape George, NS
    Distance from campus: 31 km (27 min drive)
    Link: capegeorgetrails.com
  • Antigonish Landing Trail
    Address: 110 East Main St, Antigonish, NS
    Distance from campus: 1.5 km (4 min drive)
  • Beaver Mountain Provincial Park
    Address: 432 Beaver Mountain Rd, Antigonish County, NS
    Distance from campus: 15 km (13 min drive)
    Link: parks.novascotia.ca/park/beaver-mountain
  • Pomquet Beach Provincial Park
    Address: 432 Pomquet Beach Rd, Monks Head, NS
    Distance from campus: 22 km (22 min drive)
    Link: parks.novascotia.ca/park/pomquet-beach
  • Arisaig Provincial Park
    Address: 5704 Route 245, Arisaig, NS
    Distance from campus: 29 km (23 min drive)
    Link: parks.novascotia.ca/park/arisaig
  • Cape George Lighthouse
    Address: 1521 Day Rd, Cape George Point, NS
    Distance from campus: 36 km (35 min drive)

Markets & Arts

  • Antigonish Farmers' Market
    Address: 20 James St, Antigonish, NS
    Distance from campus: 300 m
    Link: antigonishfarmersmarket.ca
  • Festival Antigonish Summer Theatre
    Address: Bauer Theatre, StFX Campus, 100 Scholars Walk
    Distance from campus: On campus
    Link: festivalantigonish.ca
  • Antigonish Heritage Museum
    Address: 20 East Main St, Antigonish, NS
    Distance from campus: 1.4 km
    Link: heritageantigonish.ca