University of Calgary

Categorical Message Passing Language (CaMPL) is a functional style concurrent programming language with a categorical semantics. In this talk, we explore the categorical semantics, programming syntax, and proof theory representations for CaMPL. This...

A classical Electrical Engineering problem is to determine whether two networks of resistors are equivalent. The standard solution is to use a process of eliminating internal nodes (the star/mesh transformation) which may be seen as a rewriting...

Calgary Elementary School Mathematics Contest (CESMC) invites students to enter in a pilot-project contest. The contest will primarily be for Grade 4, 5, and 6 students attending elementary school in Calgary and surrounding areas. Grade 6 students...

This is a 90-minute mathematics contest which takes place every spring.The exam is primarily for Grade 9 students. However, all junior high students attending schools in Calgary and surrounding districts are eligible. The exam is written by...

Calgary Elementary School Mathematics Contest (CESMC) invites students to enter in a pilot-project contest. The contest will primarily be for Grade 4, 5, and 6 students attending elementary school in Calgary and surrounding areas. Grade 6 students...

Calgary Youth Science Fair is open to students in grades 5 to 12. The mission of the Calgary Youth Science Fair Society is "to promote an appreciation for scientific principles and method in the youth of Calgary by means of an annual science...

This is a 90-minute mathematics contest which takes place every spring.The exam is primarily for Grade 9 students. However, all junior high students attending schools in Calgary and surrounding districts are eligible. The exam is written by...

Round table discussion - (all Education Coordinators at PIMS Sites and Guests) Educational Outreach: Best Practices - what works, what to avoid Topics include: Education Outreach Activities, School Interaction, Math Fairs, Sponsorship Link to UC Math...

Instructors will spend a day or two sharing information and current events and developments in the mathematical sciences in Alberta colleges and universities, and hear research presentations and pedagogical talks. The participants are new and...