Meeting Agenda

Date:	March 29, 2018
Location:	DC 1331
Time:	1:30
Chair:	Stephen Mann

1. Acceptance of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour last week:

Xiang - thanks!

Coffee hour this week:

Good Friday

Coffee hour next week:

Volunteers?

3. Forthcoming

Date:	April 5,2018	April 12, 2018	April 19, 2018	April 26, 2018
Location:	DC 1331 1:30	DC 1331 1:30	DC 1331 1:30	DC 1331 1:30
Chair:	Jade Marcoux-Ouellet	Greg Philbrick	Reza Adhitya Saputra	Andrew Tinits
Technical Presentation:	Stephen Mann	Elodie	Greg Philbrick	Reza Saputra

4. Technical Presentation

Craig Kaplan	Title : Sampling the Penrose Tiling Abstract: I discuss some of my recent progress in developing an algorithm for sampling the Penrose tiling and other quasiperiodic tilings obtained via the cut-and-project method. A construction called the "oblique tiling" makes it possible to render these tilings at interactive rates entirely within a fragment shader.

5. Discussion Items

• Next term's lab meeting will be on Thursdays at 1:30.
• Matt brings some cookies for coffee hour (April 6th) and he says HI!

6. Action Items

• Elodie, April 12

7. Lab Events

• Symposium on Computer Animation - Paper Deadline April 9th
• Expressive 2018 - Paper Deadline April 10th

8. Conferences and Special Journal Issues

Recent Additions

Upcoming Deadlines

9. Directors' Meeting

10. Seminars and Events

Tuesday, 3 April 2018, 10:30AM - Computer Science (Software Engineering Research Group), DC 1304

Chengnian Sun: -- Compiler Validation via Equivalence Modulo Inputs

Wednesday, 4 April 2018, 12:00PM - Computer Science (Artificial Intelligence Lab), DC 2314

Feng-Xuan Choo: -- Spaun 2.0: Extending the World's Largest Functional Brain Model

Wednesday, 4 April 2018, 1:30PM - Computer Science (Algorithms and Complexity Group), DC 1304

Hicham El-Zein: -- Succinct Color Searching in One Dimension

Thursday, 5 April 2018, 12:00PM - Computer Science (Software Engineering Research Group), DC 3323

Edward Zulkoski: -- Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

Thursday, 5 April 2018, 1:00PM - Computer Science (Software Engineering Research Group), DC 2310

Edward Zulkoski: -- Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance

Also see other Math and CS postings.

11. Lab Cleanup