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

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

Previous message: [TYPES/announce] [ESSLLI 2010] Call for Bids
Next message: [TYPES/announce] [Calco'09] 1st cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

  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/

Previous message: [TYPES/announce] [ESSLLI 2010] Call for Bids
Next message: [TYPES/announce] [Calco'09] 1st cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list