Updated ALT+TAB to include talk list
This commit is contained in:
parent
653d435bd6
commit
8fd5c5323c
32
events.xml
32
events.xml
|
@ -20,7 +20,37 @@
|
||||||
CS-related topics. An up-to-date list of the talks being delivered
|
CS-related topics. An up-to-date list of the talks being delivered
|
||||||
can be found <a
|
can be found <a
|
||||||
href="http://csclub.uwaterloo.ca/~b2coutts/alttab.html">here</a>.
|
href="http://csclub.uwaterloo.ca/~b2coutts/alttab.html">here</a>.
|
||||||
There will be food provided.
|
There will be food provided. The talks being delivered are:
|
||||||
|
<table border="1">
|
||||||
|
<tr>
|
||||||
|
<td><b>Member</b></td>
|
||||||
|
<td><b>Talk Title</b></td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td>Felix Bauckholt</td>
|
||||||
|
<td>A Short Idris Tutorial</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td>Bryan Coutts</td>
|
||||||
|
<td>Linear and Integer Programming</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td>Sean Harrap</td>
|
||||||
|
<td>Communication Complexity</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td>Christopher Hawthorne</td>
|
||||||
|
<td>Gödel's Incompleteness Theorem</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td>Charlie Wang</td>
|
||||||
|
<td>Typed Racket</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td>Ifaz Kabir</td>
|
||||||
|
<td>How Modern SAT Solvers Work</td>
|
||||||
|
</tr>
|
||||||
|
</table>
|
||||||
</p>
|
</p>
|
||||||
</abstract>
|
</abstract>
|
||||||
</eventitem>
|
</eventitem>
|
||||||
|
|
Loading…
Reference in New Issue