Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

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

25 March 2010, Farewell lecture of dr. P. van Emde Boas, Peter van Emde Boas

Speaker: Peter van Emde Boas
Date: Thursday 25 March 2010
Time: 10:00-15:00
Location: Aula of the UvA, Singel 411, Amsterdam

Dr. Peter van Emde Boas (UvA, ILLC) has reached the age that he officially has to retire. On this occasion he will give a farewell lecture in the aula of the UvA (at 15:00).

On the day of his farewell speech, there will be a colloquium in which some of the subjects are represented in which Peter was active. The colloquium, in the same location, starts at 10:00.

Program

9.30-9.50 coffee
10.00-10.45 Jiri Widermann Extended Turing Machine Paradigm
10.45-11.15 prof. dr. Albert Visser On Kreisel's `Solution' of a Problem of Henkin's
11.15-11.45 coffee
11.45-12.15 Jan van Leeuwen On closer inspection - understanding complexity
12.15-12.45 Jan van Mill Countable dense homogeneity
12.45-13.30 Lunch
13.30-14.15 Kurt Mehlhorn Certifying Algorithms
15.00 Afscheidcollege Peter van Emde Boas,
Egghead betegelt badkamer
  Speeches, reception

Everybody is welcome

The lunch is free for those who announce their participation before March 13 to .

The farewell lecture will be in ceremonial dress. Full professors from outside Amsterdam are invited to take part in the cortege, en preferably bring their own toga.

A contribution for a present can be transferred to giro 1689923, of T.M.V. Janssen, Ermelo. The present will be a donation to the Universitair Asielfonds UAF (supports the study of refugees).

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