MEETING-DATE:June 8, 2017 MEETING-LOCATION:DC 1331 MEETING-TIME:1:30 MEETING-CHAIR:Andrew Tinits MEETING-CHAIRPIC:atinits.png COFFEE-HOUR-LAST-WEEK:Matt COFFEE-HOUR-THIS-WEEK:Andrew COFFEE-HOUR-NEXT-WEEK:Volunteers? FORTH-DATE1:June 15, 2017 FORTH-DATE2:June 22, 2017 FORTH-DATE3:June 29, 2017 FORTH-DATE4:July 6, 2017 FORTH-LOCATION1:DC 1331 1:30 FORTH-LOCATION2:DC 1331 1:30 FORTH-LOCATION3:DC 1331 11:30 FORTH-LOCATION4:DC 1331 11:30 FORTH-CHAIR1:Yipeng Wang FORTH-CHAIR2:Dan Vogel FORTH-CHAIR3:Omar Zarifi FORTH-CHAIR4:Christopher Batty FORTH-CHAIRPIC1:yipeng.jpg FORTH-CHAIRPIC2:dvogel.jpg FORTH-CHAIRPIC3:omar.jpg FORTH-CHAIRPIC4:batty.jpg FORTH-TP1:Andrew Tinits FORTH-TP2:Yipeng Wang FORTH-TP3:Dan Vogel FORTH-TP4:Omar Zarifi FORTH-TPPIC1:atinits.png FORTH-TPPIC2:yipeng.jpg FORTH-TPPIC3:dvogel.jpg FORTH-TPPIC4:omar.jpg TPNAME:Matthew Thorne TPTITLE:Now in 2.5D! TPABSTRACT:Come with me on a journey between the second and third dimensions and witness the many strange creature that reside therein. Remember to keep your arms and legs inside the presentation at all times and please do not feed the animals. (*Note: Grad students count as animals.) TPPIC:thorne_katana.png DIONE: DITWO: DITHREE: DIFOUR: AIONE: AITWO: AITHREE: AIFOUR: LEONE: LETWO: LETHREE: LEFOUR: DMONE: DMTWO: DMTHREE: DMFOUR: SEMINARS:
Friday, 9 June 2017, 11:00AM - Computer Science (Programming Languages Lab), DC 3126
Marianna Rapoport: -- Adding Mutation to Dependent Object Types

Friday, 9 June 2017, 1:00PM - Computer Science (ISS4E), DC 1331
Christian Gorenflo: -- Managing Sensor Data Streams: Lessons Learned from the WeBike Project

Tuesday, 13 June 2017, 10:00AM - Computer Science (Symbolic Computation Group), DC 2310
Stephen Melczer: -- Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration

Tuesday, 13 June 2017, 10:30AM - Computer Science (Distinguished Lecture Series), DC 1302
Silvio Micali: -- ALGORAND, A New Public Ledger

Friday, 16 June 2017, 10:30AM - Computer Science (Cryptography, Security, and Privacy (CrySP) Group), DC 2568
Prashant Nalini Vasudevan: -- Average-Case Fine-Grained Hardness, And What To Do With It