[TYPES/announce] Constructive Topology - Workshop G. Sambin 60

Peter Schuster pschust at mathematik.uni-muenchen.de
Thu Sep 18 12:18:10 EDT 2008


  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/




More information about the Types-announce mailing list