MEETING-DATE:July 2, 2015 MEETING-LOCATION:DC 1331 MEETING-TIME:11:30 MEETING-CHAIR:Christopher Batty MEETING-CHAIRPIC:batty.jpg COFFEE-HOUR-LAST-WEEK:Volunteers? COFFEE-HOUR-THIS-WEEK:Volunteers? COFFEE-HOUR-NEXT-WEEK:Volunteers? FORTH-DATE1:July 9, 2015 FORTH-DATE2:July 16, 2015 FORTH-DATE3:July 23, 2015 FORTH-DATE4:July 30, 2015 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:Dustin Biser FORTH-CHAIR2:Bill Cowan FORTH-CHAIR3:Ryan Goldade FORTH-CHAIR4:Craig Kaplan FORTH-CHAIRPIC1:dustin_biser.png FORTH-CHAIRPIC2:bill.gif FORTH-CHAIRPIC3:ryan.jpg FORTH-CHAIRPIC4:craig.jpg FORTH-TP1:Dan Vogel FORTH-TP2:Yipeng Wang FORTH-TP3:Vinicius Azavedo FORTH-TP4:Christopher Batty FORTH-TPPIC1:dvogel.jpg FORTH-TPPIC2:cingram.gif FORTH-TPPIC3:animpinky.gif FORTH-TPPIC4:batty.jpg TPNAME:Andrew Tinits TPTITLE:Looking Around Corners with Transient Imaging TPABSTRACT:I'll be presenting the paper "Diffuse Mirrors: 3D Reconstruction from Diffuse Indirect Illumination Using Inexpensive Time-of-Flight Sensors" by Heide, Xiao, Heidrich, and Hullin from CVPR 2014. TPPIC:atinits.png DIONE: DITWO: DITHREE: DIFOUR: AIONE: AITWO: AITHREE: AIFOUR: LEONE: LETWO: LETHREE: LEFOUR: DMONE: DMTWO: DMTHREE: DMFOUR: SEMINARS:
Monday, 6 July 2015, 2:00PM - Computer Science (Waterloo Formal Methods), DC 2314 [New!]
Prash Raghav: -- A modular notation for monitoring network systems