CSC Logo
HomeEventsPast terms' events


ALT+TAB Talks.

Held in MC 4063, on 2016-11-30, at 6:00 PM.


The CSC is hosting ALT+TAB this Wednesday. ALT+TAB is similar to the PMC's SASMS events; several members of the CSC will give brief, 25 minute talks on various interesting topics in CS. There will be food provided at the event. The talks being delivered are:

Member Talk Title
Felix Bauckholt A Short Idris Tutorial
Bryan Coutts Linear and Integer Programming
Sean Harrap Communication Complexity
Christopher Hawthorne Gödel's Incompleteness Theorem
Charlie Wang Typed Racket
Ifaz Kabir How Modern SAT Solvers Work