Meeting Agenda

Date:	June 8, 2017
Location:	DC 1331
Time:	1:30
Chair:	Andrew Tinits

1. Acceptance of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour last week:

Matt - thanks!

Coffee hour this week:

Andrew

Coffee hour next week:

Volunteers?

3. Forthcoming

Date:	June 15, 2017	June 22, 2017	June 29, 2017	July 6, 2017
Location:	DC 1331 1:30	DC 1331 1:30	DC 1331 11:30	DC 1331 11:30
Chair:	Yipeng Wang	Dan Vogel	Omar Zarifi	Christopher Batty
Technical Presentation:	Andrew Tinits	Yipeng Wang	Dan Vogel	Omar Zarifi

4. Technical Presentation

Matthew Thorne	Title : Now in 2.5D! Abstract: 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.)

5. Discussion Items

6. Action Items

7. Lab Events

8. Conferences and Special Journal Issues

Recent Additions

Upcoming Deadlines

9. Directors' Meeting

10. Seminars and Events

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

Also see other Math and CS postings.

11. Lab Cleanup