MEETING-DATE:January 20, 2010 MEETING-LOCATION:DC 1331 MEETING-TIME:1:30 MEETING-CHAIR:Marshall Hahn MEETING-CHAIRPIC:mhahn.jpg COFFEE-HOUR-LAST-WEEK:Elodie COFFEE-HOUR-THIS-WEEK:Tiffany COFFEE-HOUR-NEXT-WEEK:Marshall FORTH-DATE1:January 27, 2010 FORTH-DATE2:February 3, 2010 FORTH-DATE3:February 10, 2010 FORTH-DATE4:February 17, 2010 FORTH-LOCATION1:DC 1331 1:30 FORTH-LOCATION2:DC 1331 1:30 FORTH-LOCATION3:DC 1304 1:30 FORTH-LOCATION4:DC 1304 1:30 FORTH-CHAIR1:Jingyuan Huang FORTH-CHAIR2:Tiffany Inglis FORTH-CHAIR3:Craig Kaplan FORTH-CHAIR4:Matthew Kay FORTH-CHAIRPIC1:jing.jpg FORTH-CHAIRPIC2:t3chao.jpg FORTH-CHAIRPIC3:craig.jpg FORTH-CHAIRPIC4:mattkay.jpg FORTH-TP1:Gabriel Esteves FORTH-TP2:Marshall Hahn FORTH-TP3:Jingyuan Huang FORTH-TP4:Tiffany Inglis FORTH-TPPIC1:rgesteve.jpg FORTH-TPPIC2:mhahn.jpg FORTH-TPPIC3:jing.jpg FORTH-TPPIC4:t3chao.jpg TPNAME:Elodie Fourquet TPTITLE:2-Dimensional Shadows TPABSTRACT:??? TPPIC:elodie.jpg DIONE:Smart Technologies from Alberta is having contest, design touch pad application for kids. DITWO:"Art" Show in first gallery of campus hall. DITHREE: DIFOUR: AIONE:Thurs Feb 25 lab tours AITWO:March break lab tours AITHREE: AIFOUR: DMONE: DMTWO: DMTHREE: DMFOUR: SEMINARS:
    * 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