Logic List Mailing Archive
20th Tarski Lectures: Yiannis Moschovakis, Berkeley CA (U.S.A.), 3-7 Mar 2008
PRELIMINARY ANNOUNCEMENT
(Please mark your calendars and where feasible try to avoid
scheduling seminar or colloquium talks at these hours in areas of
interest to those who might like to attend these lectures. Many
thanks!)
The UNIVERSITY OF CALIFORNIA, BERKELEY
announces
THE TWENTIETH ANNUAL ALFRED TARSKI LECTURES
by
YIANNIS N. MOSCHOVAKIS
Professor of Mathematics, University of California, Los Angeles
Emeritus Professor of Mathematics, University of Athens
LECTURES ON THE FOUNDATIONS
OF THE THEORY OF ALGORITHMS
Algorithms and Implementations
Monday, March 3, 2008
4:10 p.m.
60 Evans Hall
English as a Programming Language
Wednesday, March 5, 2008
4:10 p.m.
Room to be announced
The Axiomatic Derivation of Absolute Lower Bounds
Friday, March 7, 2008
4:10 p.m.
60 Evans Hall
A sequence of three lectures. The first lecture lays out the problem and
outlines a solution. The second and third lectures describe applications
of the general theory to the philosophy of language and to complexity
theory respectively. They are independent of each other and mostly
independent of the first lecture.