Media Summary: Mathematician John Conway once boasted that one of his predecessors took six years to enumerate all 54 knots of a certain type, ... NAHEED NENSHI, Mayor of Calgary Maire de Calgary - LISA HELPS, Mayor of Victoria and 2006 Trudeau Scholar Maire de ... !!Con 2014 - Guillaume Marceau: The terrible Yook monster! Slayed by the grandson of Master Prolog!

Con 2014 Katherine Ye Proofs - Detailed Analysis & Overview

Mathematician John Conway once boasted that one of his predecessors took six years to enumerate all 54 knots of a certain type, ... NAHEED NENSHI, Mayor of Calgary Maire de Calgary - LISA HELPS, Mayor of Victoria and 2006 Trudeau Scholar Maire de ... !!Con 2014 - Guillaume Marceau: The terrible Yook monster! Slayed by the grandson of Master Prolog! Developers turn coffee into programs, whilst mathematicians turn it into Today, March 4th, is the last day to apply for the Oratorical Contest! Do you need inspiration to combat that writer's block? A few of ...

Photo Gallery

!!Con 2014 - Katherine Ye: Proofs about programs, proofs as programs, and programs as proofs!
"Strange Loops: Capturing Knots With Powerful Notations" by Katherine Ye
Stop Motion
!!Con 2014 - Michael Arntzenius: Continuations; or, how to travel through time!
Q&A | Question réponse #ColloqueFPET 2016 #PETFconference
!!Con 2014 - Guillaume Marceau: The terrible Yook monster! Slayed by the grandson of Master Prolog!
Programming Proofs and Proving Programs
ACM CCS 2017 - Verified Correctness and Security of mbedTLS HMAC-DRBG - Katherine Ye
Tuesday, May 6, 2014
Using proofs in Idris, part 1
Mary Caple, 2014 Concordia Valedictorian
2014 2015 District Awards Committee Oratorical Contest
Sponsored
Sponsored
View Detailed Profile
Sponsored
Sponsored