From 8fd5c5323cb57816f23a81e0b17279d3e7c1b457 Mon Sep 17 00:00:00 2001 From: Bryan Coutts Date: Tue, 29 Nov 2016 02:01:34 -0500 Subject: [PATCH] Updated ALT+TAB to include talk list --- events.xml | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) diff --git a/events.xml b/events.xml index 2e7af32..5c4a77f 100644 --- a/events.xml +++ b/events.xml @@ -20,7 +20,37 @@ CS-related topics. An up-to-date list of the talks being delivered can be found here. - There will be food provided. + There will be food provided. The talks being delivered are: + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
MemberTalk Title
Felix BauckholtA Short Idris Tutorial
Bryan CouttsLinear and Integer Programming
Sean HarrapCommunication Complexity
Christopher HawthorneGödel's Incompleteness Theorem
Charlie WangTyped Racket
Ifaz KabirHow Modern SAT Solvers Work