MEETING-DATE:January 5, 2012 MEETING-LOCATION:DC 1331 MEETING-TIME:11:30 MEETING-CHAIR:Mike Terry MEETING-CHAIRPIC:mterry.jpg COFFEE-HOUR-LAST-WEEK:Volunteers? COFFEE-HOUR-THIS-WEEK:Volunteers? COFFEE-HOUR-NEXT-WEEK:Volunteers? FORTH-DATE1:January 12, 2012 FORTH-DATE2:January 19, 2012 FORTH-DATE3:January 26, 2012 FORTH-DATE4:February 2, 2012 FORTH-LOCATION1:DC 1331 11:30 FORTH-LOCATION2:DC 1331 11:30 FORTH-LOCATION3:DC 1331 11:30 FORTH-LOCATION4:DC 1331 11:30 FORTH-CHAIR1:Matthew Thorne FORTH-CHAIR2:Zainab AlMeraj FORTH-CHAIR3:Edgar Bering FORTH-CHAIR4:Bill Cowan FORTH-CHAIRPIC1:thorne.jpg FORTH-CHAIRPIC2:zainab.jpg FORTH-CHAIRPIC3:ebering.jpg FORTH-CHAIRPIC4:cowan_unflipped.gif FORTH-TP1:Alex Pytel FORTH-TP2:Michael Terry FORTH-TP3:Matthew Thorne FORTH-TP4:Grace Yao FORTH-TPPIC1:apytel1.jpg FORTH-TPPIC2:mterry.jpg FORTH-TPPIC3:thorne.jpg FORTH-TPPIC4:nopic2.gif TPNAME:Simon Parent TPTITLE:On Implementing Integer Arithmetic TPABSTRACT:We will see the interplay between Theory and Practice in our quest for Truth. TPPIC:Simon2.png DIONE: DITWO: DITHREE: DIFOUR: AIONE:Update the Members List! AITWO: AITHREE: AIFOUR: DMONE: DMTWO: DMTHREE: DMFOUR: SEMINARS:
Friday, 6 January 2012, 3:30PM Combinatorics and Optimization (Tutte Seminar), MC 5158 U.S.R. Murty On minimal non-Pfaffian graphs Tuesday, 10 January 2012, 10:30AM Institute for Quantum Computing , MC5158 Liang Jiang Quantum Information Processing using Spins and Topological Quantum Systems Tuesday, 17 January 2012, 3:30PM Pure Mathematics (Logic Seminar), Math & Computer, Room 5136B Stephen Flood Reverse mathematics and a packed Ramsey's theorem