From ec0b5c538ab750e427c8c6193f5a1a15d7c3e79d Mon Sep 17 00:00:00 2001 From: Edgar Bering Date: Thu, 16 Sep 2010 19:23:16 -0400 Subject: [PATCH] plragde talk --- events.xml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/events.xml b/events.xml index bdc8260..1d85fed 100644 --- a/events.xml +++ b/events.xml @@ -4,6 +4,24 @@ + + +

I'll be workshopping some lecture ideas involving representations of + numbers, specification of computation in functional terms, reasoning about + such specifications, and comparing the strengths and weaknesses of different approaches. +

+ + +

I'll be workshopping some lecture ideas involving representations + of numbers, specification of computation in + functional terms, reasoning about such specifications, and comparing the + strengths and weaknesses of + different approaches. No prior background is needed; the talk should be accessible + to anyone attending + the University of Waterloo and, I hope, interesting to both novices and experts. +

+ +

Fall term executive elections and general meeting.