old
/
old-website
2
0
Fork 0
Code Issues 2 Pull Requests 1 Projects Releases Wiki Activity

plragde talk

This commit is contained in:
Edgar Bering 2010-09-16 19:23:16 -04:00
parent 9118669902
commit ec0b5c538a
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
events.xml
View File

@ -4,6 +4,24 @@
<eventdefs>
<!-- Fall 2010 -->
<eventitem date="2010-09-21" time="04:30 PM" room="MC4061" title="In the Beginning">
<short><p>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.
</p></short>
<abstract><p>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.
</p></abstract>
</eventitem>
<eventitem date="2010-09-14" time="04:30 PM" room="Comfy Lounge" title="Elections">
<short><p>Fall term executive elections and general meeting.</p></short>
</eventitem>