Name: From Proofs to Programs: How Abstract Math Becomes Real Software
Start: 2026-02-23T18:00:00-04:00
End: 2026-02-23T20:00:00-04:00

Home
About
Programs
Industry
Events
Contact

Loading view.

Events Search and Views Navigation

Enter Keyword. Search for Events by Keyword.

Event Views Navigation

List
Month
Day

Today

Select date.

Filters

Changing any of the form inputs will cause the list of events to refresh with the filtered results.

Event Category

Academy UP

AI2Market

Alumni Speaks

AMA

Build

Capture the Flag

Certification

Dal Innovation Week

External Event

Hackathon

Here We Code

Industry Showcase

Info Session

Lounge

Networking

Ocean of Data

Off-Campus

Say Hello to

Skills Development

Tech Talks

Under 18

Virtual

Workshop

6:00 pm

February 23 @ 6:00 pm - 8:00 pm

From Proofs to Programs: How Abstract Math Becomes Real Software

Mathematics is the foundation of computer science, but its role is not always visible. This workshop brings together faculty researchers and an industry consultant to explore how abstract mathematical ideas…

Previous Day
Next Day

Google Calendar
iCalendar
Outlook 365
Outlook Live
Export .ics file
Export Outlook .ics file

General

About
Events
Reimbursement Program
ShiftKey Hackathons
Contact
ShiftKey Articles

Programs

ShiftKey Build
ShiftKey Sandbox
ShiftKey Academy

Connect

Email Us

ShiftKey operates in Mi’kma’ki, the unceded and ancestral territory of the Mi’kmaq People, protected under the Peace and Friendship Treaties. We acknowledge them as the rightful caretakers of this land and are thankful for the opportunity to be here. We are all Treaty People.

We also acknowledge the 50 African Nova Scotian communities as a distinct population and a crucial part of Mi’kma’ki’s history, heritage, and legacy over the past 500 years. We are grateful for their contributions to our shared society.

Go to Top

Filters

General

Programs

Connect

Menu