clarke@csri.toronto.edu (Jim Clarke) (03/11/88)
(SF = Sandford Fleming Building, 10 King's College Road)
(WB = Wallberg Building, 184 College Street)
SUMMARY:
NUMERICAL ANALYSIS SEMINAR, Tuesday, March 22, 10 am, WB242 -- Jorge Nocedal:
"Conjugate Direction Methods for Large Scale Optimization"
THEORY SEMINAR, Tuesday, March 22, 2-4 pm, SF1105 -- Philip Scott:
"Functional Languages and Propositions as Types"
HUMAN-COMPUTER INTERACTION SEMINAR, Tues., March 22, 11 am, SF1105 -- Tom Carey:
"Formal Specifications for User Interface Guidelines"
SYSTEMS SEMINAR, Thursday, March 24, 11 am, SF1101 -- David S. Stodolsky:
"Conferencing Systems Based Upon Peer Review"
------------------
NUMERICAL ANALYSIS SEMINAR, Tuesday, March 22, 10 am, WB242
Dr. Jorge Nocedal
Northwestern University
"Conjugate Direction Methods for Large Scale Optimization"
We present a survey of algorithms for solving large smooth optimization
problems, paying special attention to the conjugate gradient method and to
recently developed variants of it. We will show that it is possible to
derive fast and robust algorithms that use a small amount of storage. The
convergence properties of various classes of optimization methods will be
discussed and a few numerical examples will illustrate the behavior
observed in practice. We will also briefly discuss how to handle nonlinear
equality constraints.
THEORY SEMINAR, Tuesday, March 22, 2-4 pm, SF1105
Professor Philip Scott
University of Ottawa
"Functional Languages and Propositions as Types"
HUMAN-COMPUTER INTERACTION SEMINAR, Tuesday, March 22, 11 am, SF1105
Professor Tom Carey
University of Guelph
"Formal Specifications for User Interface Guidelines"
This talk will illustrate the potential use of formal specifications to
describe user interface. Examples will be presented from the Macintosh
user interface guidelines, demonstrating how appropriate abstractions and
graphical conventions can make the specification both rigorous and concise.
We will discuss the advantages and disadvantages of such formal methods in
describing guidelines for consistent families of user interfaces.
SYSTEMS SEMINAR, Thursday, March 24, 11 am, SF1101
Professor David S. Stodolsky
University of Gothenburgh
"Conferencing Systems Based Upon Peer Review"
Many text-based conferencing systems permit anonymous contributions. This
often leads to irresponsible behavior. I outline a conferencing system
based upon a secure pseudonym mechanism and discuss its organizational
effects. Such a system permits effective control of information overload
and irresponsible behavior while providing the highest possible protection
of expression.
--
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