Information
ALT+TAB Talks.
Held in MC 4063, on 2016-11-30, at 6:00 PM.
Abstract
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 |