clarke@csri.toronto.edu (Jim Clarke) (03/18/88)
(SF = Sandford Fleming Building, 10 King's College Road)
(GB = Galbraith Building, 35 St. George Street)
SUMMARY:
HUMAN-COMPUTER INTERACTION SEMINAR, Friday, March 18, 3 p.m., SF1101
-- Joy Mountford:
"Visual Metaphors for Navigating Large, Multi-Media Databases"
GRAPHICS SEMINAR, Tuesday, March 22, 3 pm, GB120 -- Ken Musgrave:
"Ray-tracing fractal mountains with rainbows"
THEORY SEMINAR, Tuesday, March 22, 2-3 pm, SF1105 -- Philip Scott:
"Functional Languages and Propositions as Types"
------------------------------
HUMAN-COMPUTER INTERACTION SEMINAR, Friday, March 18, 3 p.m., SF1101
Dr. Joy Mountford
Apple Computer, Inc.
"Visual Metaphors for Navigating Large, Multi-Media Databases"
GRAPHICS SEMINAR, Tuesday, March 22, 3 pm, GB120
"Ray-tracing fractal mountains with rainbows"
Mr. Ken Musgrave
Yale University
Ray-tracing fractal mountains, with rainbows: some new rendering tricks and
algorithms. This talk will be about the techniques used to render fractal
mountains for B.B. Mandelbrot at Yale University. Topics discussed will be
representations of clouds, atmospheric haze and water, and texture mapping
techniques for `mountain' surfaces. Novel algorithms for ray tracing both
fractal mountains and rainbows will be discussed. And, best of all, some
pretty pictures will be shown.
THEORY SEMINAR, Tuesday, March 22, 2-3 pm, SF1105
Professor Philip Scott
University of Ottawa
"Functional Languages and Propositions as Types"
In this talk we survey typed and polymorphically typed lambda calculi using
the Curry-Howard isomorphism as a conceptual framework. Other functional
languages, e.g. Martin-Lof type theory, fit into this viewpoint. Relation-
ships with untyped lambda calculi will also be stressed. If time permits,
we could discuss recent research, e.g. models of polymorphism (Girard
domains, PER models), category theory, and/or Girard's Linear Logic.
--
Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
(416) 978-4058
BITNET,CSNET: clarke@csri.toronto.edu CDNNET: clarke@csri.toronto.cdn
UUCP: {allegra,cornell,decvax,linus,utzoo}!utcsri!clarke