Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10 October 2000, Lecture by E.W. Dijkstra

10 October 2000, Lecture by E.W. Dijkstra
Title: On avoiding avoidable case analyses
Speaker: E.W. Dijkstra, Professor Emeritus, University of Texas at Austin
Location: Room Z011, CWI, Kruislaan 413
Date and Time: 10 October 2000, 16:00

Abstract:
Since brevity is an essential virtue of proofs and programs and will always be so) and case analyses tend to lengthen them, avoding case analysis is (and will remain) a central issue in mathematical methodology and the methodology of programming.
With a series of small examples we'll illustrate various techniques for case analysis reduction. They should make us understand why counting arguments can be so effective and when they are applicable.

For more information, please contact Krzysztof R. Apt, tel. 020-592.4135, email: k.r.apt@cwi.nl.

Please note that this newsitem has been archived, and may contain outdated information or links.