MEETING-DATE:March 29, 2018 MEETING-LOCATION:DC 1331 MEETING-TIME:1:30 MEETING-CHAIR:Stephen Mann MEETING-CHAIRPIC:smann-3.jpg COFFEE-HOUR-LAST-WEEK:Xiang COFFEE-HOUR-THIS-WEEK:Good Friday COFFEE-HOUR-NEXT-WEEK:Volunteers? FORTH-DATE1:April 5,2018 FORTH-DATE2:April 12, 2018 FORTH-DATE3:April 19, 2018 FORTH-DATE4:April 26, 2018 FORTH-LOCATION1:DC 1331 1:30 FORTH-LOCATION2:DC 1331 1:30 FORTH-LOCATION3:DC 1331 1:30 FORTH-LOCATION4:DC 1331 1:30 FORTH-CHAIR1:Jade Marcoux-Ouellet FORTH-CHAIR2:Greg Philbrick FORTH-CHAIR3:Reza Adhitya Saputra FORTH-CHAIR4:Andrew Tinits FORTH-CHAIRPIC1:jade.jpg FORTH-CHAIRPIC2:philbrick.jpg FORTH-CHAIRPIC3:reza-2017.jpg FORTH-CHAIRPIC4:atinits.png FORTH-TP1:Stephen Mann FORTH-TP2:Elodie FORTH-TP3:Greg Philbrick FORTH-TP4:Reza Saputra FORTH-TPPIC1:smann-3.jpg FORTH-TPPIC2:elodie.jpg FORTH-TPPIC3:philbrick.jpg FORTH-TPPIC4:reza-2017.jpg TPNAME:Craig Kaplan TPTITLE:Sampling the Penrose Tiling TPABSTRACT: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. TPPIC:craig.jpg DIONE:Next term's lab meeting will be on Thursdays at 1:30. DITWO:Matt brings some cookies for coffee hour (April 6th) and he says HI! DITHREE: DIFOUR: AIONE:Elodie, April 12 AITWO: AITHREE: AIFOUR: LEONE:Symposium on Computer Animation - Paper Deadline April 9th LETWO:Expressive 2018 - Paper Deadline April 10th LETHREE: LEFOUR: DMONE: DMTWO: DMTHREE: DMFOUR: SEMINARS:
Tuesday, 3 April 2018, 10:30AM - Computer Science (Software Engineering Research Group), DC 1304 [New!]
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 [New!]
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 [New!]
Edward Zulkoski: -- Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance