Voir le programme complet pour plus de détails.

J'y présenterai un papier dans lequel je propose une formalisation non-standard de la connaissance en termes de méthodes infaillibles pour former des croyances vraies - une version améliorée de celle que j'ai présentée à Palymr. Mais je compte surtout y apprendre beaucoup!