Date: | January 20, 2010 |
---|---|
Location: | DC 1331 |
Time: | 1:30 |
Chair: | Marshall Hahn |
Date: | January 27, 2010 | February 3, 2010 | February 10, 2010 | February 17, 2010 |
---|---|---|---|---|
Location: | DC 1331 1:30 | DC 1331 1:30 | DC 1304 1:30 | DC 1304 1:30 |
Chair: | Jingyuan Huang |
Tiffany Inglis |
Craig Kaplan |
Matthew Kay |
Technical Presentation: | Gabriel Esteves |
Marshall Hahn |
Jingyuan Huang |
Tiffany Inglis |
Elodie Fourquet |
Title : 2-Dimensional Shadows
Abstract: ??? |
---|
* 2010 Jan 22, 11:30 — Symbolic Computation Group Seminar Russell O'Connor, McMaster University Integrating Formal Proofs with Software using Dependent Type Theory * 2010 Jan 26, 17:00 — Computer Science Colloquium Geoffrey E. Hinton, University of Toronto Deep learning with multiplicative interactions. * 2010 Jan 27, 12:00 — Artificial Intelligence Lab Seminar Fahiem Bacchus, University of Toronto Exploiting Decomposition when Solving Constraint Optimization Problems
Also see other Math and CS postings.