[TYPES/announce] Philosophy and Foundations of Mathematics - Epistemological and Ontological Aspects

retirement, is to be held in Uppsala, Sweden, May 5-8, 2009 at the Swedish Collegium for Advanced Study. Speakers: Peter Aczel Mark van Atten Thierry Coquand Peter DybjerJuliet FloydJean-Yves Girard Sten Lindström Colin McLarty Per Martin-Löf Peter

[TYPES/announce] Conference in Uppsala, May 5-8: Philosophy and Foundations of Mathematics (2nd announcement)

Coquand: Forcing and type theory Peter Dybjer: Program testing and constructive validity Juliet Floyd: Wittgenstein, Gödel and Turing Jean-Yves Girard: Towards non-commutative foundations Sten Lindström: The Curry-Fitch's knowability paradox revisited Per Martin-Löf: Logic: epistemologic

[TYPES/announce] tenure track assistant professorships at Chalmers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite theoretical computer scientists (with a PhD degree no more than 5 years old) to apply for two tenure-track assistant professorships in "basic science" at Chalmers University of T