Olofos Seminar session 2 : Understanding mathematical proofs from a planning perspective
22 octobre 2021
14h00 - 16h00
Université de Liège, Place du XX Août 7, 4000 Liège, Département de Philosophie, Espace Philo, 3e étage
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