[FOM] Constructive Topology - Workshop G. Sambin 60

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

Previous message: [FOM] Question on Axioms for FP-Arithmetic
Next message: [FOM] CFP: PSI2009 Perspectives of System Informatics
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: [FOM] Question on Axioms for FP-Arithmetic
Next message: [FOM] CFP: PSI2009 Perspectives of System Informatics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list