[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Advances in Constructive Topology and Logical Foundations Workshop in Honour of the 60th Birthday of Giovanni Sambin Padua, Italy, 8-11 October 2008 http://www.math.unipd.it/60thsambin/