Reading group on <a href="http://adam.chlipala.net/cpdt/">Certified Programming with Dependent Types</a>.

All meetings take place from 13:30 to 14:30. All participants read the chapter in advance. When there is a <a href="http://www.win.tue.nl/~hzantema/strsem.html">streams seminar</a> we cancel the reading group.
<ul>
<LI><strong>15 nov</strong> Chapter 1 by Bas Spitters</LI>
<li><strong>22 nov</strong> Chapter 2+3 by Robbert Krebbers (Bas' room)</li>
<li><strong>6 dec</strong> Chapter 4 by Wouter Swierstra (HG01.028)</li>
<li><strong>13 dec</strong> Chapter 5 by Herman Geuvers(HG01.028)</li>
<li><strong>20 dec</strong> Chapter 6 by Bas Spitters (HG02.028) </li>
<li><strong>10 jan</strong> Chapter 7 by Freek Verbeek (HG02.028) </li>
<li><strong>17 jan</strong> Chapter 8 by Ken Madlener (HG02.028) </li>
<li><strong>24 jan</strong> Chapter 9 by Kasper Brink (HG02.028) </li>
<li><strong>31 jan</strong> Chapter 10 by Wouter Swierstra (Bas' room) </li>
<li><strong>14 feb</strong> Chapter 11 by Bas Spitters (HG00.058) </li>
<li><strong>21 feb</strong> Chapter 12 by Ken Madlener (HG00.058) </li>
<li><strong>14 march</strong> Chapter 13 by Robbert Krebbers (HG00.058) </li>
<li><strong>21 march</strong> Chapter 14 by Freek Verbeek (HG00.058) </li>
</ul>

Now that we've worked our way through CPDT, we'll spend a few weeks studying <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download">Agda</a>.
<!---, followed by a longer study of <a href="http://homotopytypetheory.org/">Homotopy Type Theory</a> (TBC).--->
<ul>
<li><strong>4 April</strong>  Ulf Norell's <a href="http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf">tutorial</a> by Wouter Swierstra (HG00.058)</li>
</ul>
Wouter offers to discuss other papers from the extensive list of <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Publications">agda papers</a>.