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.