The venue of the symposium is the Centrum Wiskunde & Informatica (CWI), Science Park 123
1098 XG Amsterdam.

An interesting programme has been put together with highly renowned speakers:

• Dirk van Dalen
• Mark van Atten
• Sergei Artemov
• Alexander Dranishnikov
• Saul Kripke
• Yiannis Moschovakis
• Michael Rathjen
• Raf Bocklandt

L.E.J. Brouwer

Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966), was an influential Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis. At the end of this year it will be fifty years ago that L.E.J. (Bertus) Brouwer died as a consequence of a traffic accident. Brouwer had by then put his ever-lasting mark on mathematics, logic and philosophy. In mathematics he revolutionized topology with his dimension theory, fixed point theorems and homotopy theory. In logic he became the founding father of intuitionism, with its constructive approach to mathematics and logic that is also relevant in theoretical computer science. In philosophy he questioned our very perception of mathematical reality.

Organisation

Scientific committee: Dirk van Dalen, Jan Willem Klop, Jan van Mill and Geurt Jongbloed.

Local organization:

• Prof. dr. J.C.M. Baeten (CWI)
• Prof. dr. J.A. Bergstra (UvA- IVI)
• Dr. ir. T. Koetsier (VU)
• Prof. dr. S.J.L. Smets (UvA – ILLC)
• Prof. dr. E.M. Opdam (UvA- KdVI)

Participation

Participation is free, but registration is required.