Meeting Agenda

Wednesday, July 22th, 1998

Location:

DC 1304

Time:

1:30

Chair:

Teresa Yeung

1. Adoption of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour last week:

Thank you, Blair, Mark, Celine, Liddy, etc.

Coffee hour this week:

Snoop Poggy Pog (Patrick Gilhuly)

Coffee hour next week:

Teresa Yeung

3. Next meeting

Date:

Wednesday, July 29, 1998

Location:

DC 1304

Time:

1:30

Chair:

Shalini Aggarwal

Technical presentation:

Mark Riddell

4. Forthcoming

Chairs:

1. Berj Bannayan (August 5th)

2. Richard Bartels (August 12nd)

3. John Beatty

Tech Presenters:

1. Ian Stewart (August 5th)
2. Teresa Yeung (August 12)
3. Shalini Aggarwal (August 19th)

5. Technical Presentation

Presenter:

Liddy Olds

Title:

Visual Illusions

Abstract:

Visual illusions are perceptions that people experience that do not correspond to reality. These errors give us clues about how the visual system operates, how it interprets the visual world under normal conditions. I will discuss several illusions, at different levels of visual processing. I will then explore ways in which knowing about these illusions can be useful for people interested in graphics.

6. General Discussion Items

• Net Mosquito '98 (Rob)


• Financing Yukiko's apple pie (Blair)

7. Action List

8. Director's Meeting

9. Seminars

Master's Thesis Presentation
Wednesday, July 22, 1998
``Decomposition of Multi-Valued Functions''
Jay Lou, CS Graduate Student, University of Waterloo
2:00 - 3:30 p.m.; DC3301

************************************************************************

SOFTWARE ENGINEERING SEMINAR

NOTE DATE!             -Friday, July 24, 1998

Dr.   Jan   Madey,   Professor   at  the  Institute  of
Informatics,  Warsaw  University, Poland, will speak on
``Recent work at Warsaw University on methods and tools
supporting the development of correct software.''

TIME:                10:30-11:30 a.m.

ROOM:                DC 1331

ABSTRACT:
In this talk I will present basic ideas of a project in
progress in which over 15 people are currently involved
(most  of  them  being  PhD  or  MSc  students  at  the
Institute  of Informatics at Warsaw University). We are
developing  methods  and tools which should help in the
whole   process  of  software  construction,  from  the
requirements  specification  to code.  A validation and
verification of different stages of this process become
the  important  issue -- we are trying to apply PVS [1]
for this purpose.  There are many other theoretical and
practical  issues  which we are dealing with -- some of
them will be addressed during the talk.

This  project  evolved  from  the  work  on  Functional
Approach   [2]   to   software   development   done  by
cooperating   research  teams  from  Warsaw  University
(supervised  by  Jan  Madey),  McMaster  University  in
Hamilton  (supervised  by  David  L.  Parnas),  and the
University  of  Quebec  at  Hull  (supervised by Michal
Iglewski).

Bibliography

1.  S.   Owre,  N.  Shankar,  J.M.  Rushby:  ``The  PVS
    Specification    Language'',    Computer    Science
    Laboratory, SRI International, 1993.

2.  D.L.  Parnas,  J. Madey: ``Functional Documents for
    Computer    Systems'',    Science    of    Computer
    Programming, 25, 1, 1995, pp. 41-61.

************************************************************************

10. Lab Deep-cleanup