Olofos Seminar session 2 : Understanding mathematical proofs from a planning perspective

The Institut supérieur de philosophie of the UCLouvain, the University of Liège (ULiège), the research centre CEFISES, and the FNRS contact group OLOFOS ((Onto-)LOgical Frameworks Of Science) are very happy to invite everyone interested to the second meeting of this year’s OLOFOS seminar. Speaker: Yacin Hamami, ULiège Commentator: Bruno Leclercq, ULiège Title : Understanding