CGL Meeting Agenda

Wednesday, February 12th, 1997

Valid HTML

Location:
DC 1304
Time:
13:30
Chair:
Gilles Khouzam

1. Adoption of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour this week:
To be determined
Coffee hour next week:
To be determined

3. Next meeting

Date:
February 19th, 1997
Location:
DC 1304
Time:
13:30
Chair:
Rick Knowles
Technical presentation:
Gilles Khouzam

4. Forthcoming

Chairs:
  1. Rick Knowles
  2. Rob Kroeger
  3. Tara Langston
Tech Presenters:
  1. Gilles Khouzam
  2. Rick Knowles
  3. Rob Kroeger

5. Technical Presentation

Presenter:
Peter Harwood
Title:
Introduction to Term Rewriting Systems
Abstract:
In this talk, I will be discussing an alternative model of computation that is related to the lambda calculus, called "term rewriting systems". Term Rewriting Systems have application to several fields, including the implementation of functional languages. I will be working with several examples to show how computation using Term Rewriting Systems is performed.

6. General Discussion Items

    Physeter is now online with Irix 6.2 and XFS

7. Action List

  1. U of T visit
  2. Alias visit

8. Director's Meeting

9. Seminars

HTML Tutorial by Paul Prescod

The HyperText Markup Language (HTML) is used to create the majority of the documents on the Web. It is the official file format for web publishing and all web browsers support it. HTML is easy enough that you can master the basics in a single hour. This tutorial will teach you how to make titles, paragaphs, hypertext links, images and tables. More important, though, it will explain what resources on HTML development exist. You can use these to expand your knowledge of HTML for more advanced publishing or just to keep up with the HTML's rapid evolution. This tutorial is open to all. Students not in Math will be allowed to use a temporary account on the Math undergraduate machines.

Thursday, February 13, 1997 4:30 pm MC 3006

All are welcome.

10. Lab Cleanup (until 14:30 or 5 minutes)