CGL Meeting Agenda


Date: February 17, 2011
Location: DC 1331
Time: 11:30
Chair: Ben Lafreniere
Ben Lafreniere

1. Acceptance of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour last week:
Cherry -- from scratch!- thanks!
Coffee hour this week:
Volunteers?
Coffee hour next week:
Volunteers?

3. Forthcoming

Date: February 24, 2011 March 3, 2011 March 10, 2011 March 17, 2011
Location: DC 1331 11:30 DC 1331 11:30 DC 1331 11:30 DC 1331 11:30
Chair: Cherry Zhang
Cherry Zhang
Ed Lank
Ed Lank
Stephen Mann
Stephen Mann
Matei Negulescu
Matei Negulescu
Technical Presentation: Tiffany Inglis
Tiffany Inglis
Ben Lafreniere
Ben Lafreniere
Philippe Lamoureux
Philippe Lamoureux
Ed Lank
Ed Lank

4. Technical Presentation

Craig Kaplan

Craig Kaplan
Title : Smooth Fractal-Like Curves
Abstract:
I present a technique for constructing fractal-like curves from smooth base curves. The technique is similar to that used in Iterated Function Systems like the Koch curve, except that it does not require a piecewise linear path in order to induce a set of similarities. I explain the mathematical machinery behind the technique, describe a practical numerical approximation that can be implemented in software, and show some results.

5. Discussion Items

6. Action Items

7. Conferences and Special Journal Issues

Recent Additions

Upcoming Deadlines

8. Directors' Meeting

9. Seminars and Events

    * 2011 Feb 16, 13:30 — Waterloo Formal Methods PhD Seminar
      Vlad Ciubotariu, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
      Automatic Datapath Abstraction of Pipelined Circuits
    * 2011 Feb 17, 10:30 — Waterloo Formal Methods Seminar
      Alan Hu, University of British Columbia
      Modular Verification of Shared-Memory Concurrent Systems Software
    * 2011 Feb 17, 13:00 — Software Engineering Research Group PhD Seminar
      Vahid Karimi, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
      Access Control Models for Business Processes
    * 2011 Feb 17, 13:30 — Waterloo Formal Methods PhD Thesis Defence
      Vlad Ciubotariu, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
      Automatic Datapath Abstraction Of Pipelined Circuits
    * 2011 Feb 18, 14:00 — Software Engineering Research Group PhD Seminar
      Ahmed Raihan Al-Ekram, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
      Adaptive Replication Reconfiguration for QoS
    * 2011 Feb 24, 10:30 — Computer Science Seminar
      Karyn Moffat, Associate Director of the Technologies for Aging Gracefully Lab (TAGLab), University of Toronto
      Accessibility and Beyond: Addressing the Technology Needs -- and Wants -- of Older Adults
    * 2011 Feb 24, 14:30 — Bioinformatics Group Seminar
      Michal Nánási, Comenius University in Bratislava, Slovak Republic
      The Highest Expected Reward Decoding for HMMs with Application to Recombination Detection
    * 2011 Feb 25, 10:00 — Software Engineering Research Group PhD Seminar
      Vahid Karimi, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
      Business-related Access Control Property Specification and Verification
    * 2011 Feb 28, 10:30 — Computer Science Seminar
      Livio Soares, PhD candidate, Electrical and Computer Eng. Dept., University of Toronto
      Exception-less system calls: How to double the performance of server applications with no changes to the application or

Also see other Math and CS postings.

10. Lab Cleanup

Valid HTML 4.01 Transitional