[TYPES/announce] Barendregt 60: last announcement

[Venanzio Capretta]

Dear members of the Types mailing list,
  this is the last reminder about the symposium for Henk Barendregt's
60th birthday. We have decided to cancel the registration fee, so now
*there is no charge*.
We also extended the deadline for registration until Wednesday 12 December.

To register, please send an e-mail to:
barendregt60 at cs.ru.nl

Full information about the event is found at:
http://www.cs.ru.nl/barendregt60/

We hope to see you there,
The organizers:
  Erik Barendsen
  Venanzio Capretta
  Herman Geuvers
  Nicole Messink
  Milad Niqui