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:30PMCombinatorics and Optimization (Tutte Seminar), MC 5158U.S.R. MurtyOn minimal non-Pfaffian graphs     Tuesday, 10 January 2012, 10:30AMInstitute for Quantum Computing , MC5158Liang JiangQuantum Information Processing using Spins and Topological Quantum Systems     Tuesday, 17 January 2012, 3:30PMPure Mathematics (Logic Seminar), Math & Computer, Room 5136BStephen FloodReverse mathematics and a packed Ramsey's theorem