12 Dec 2016
Université Paris 1 Panthéon-Sorbonne, IHPST, Université Paris IV, SND
PHILMATH SEMINAR ? Philosophy of Logic and Philosophy of Mathematics Seminar ?
2016/2017 PART(I)
Website: http://www.ihpst.cnrs.fr/activites/seminaires/seminaire-philmath-2016-2017
Location: IHPST, 13 rue du Four, 75006, Paris, Salle des Conférences, 2° étage
Metro: Odéon (Ligne 4)
12 September 2016
17h30-19h30
IHPST- Salle de conférences
EMILIANO LORINI
(CNRS, Université Toulouse 3 Paul Sabatier,
Institut de Recherche en Informatique de Toulouse (IRIT), Équipe LILac)
A LOGICAL THEORY OF BELIEF DYNAMICS FOR RESOURCE-BOUNDED AGENTS
10 october 2016
17h30-19h30
IHPST ? Salle de conférences
ANDREA CANTINI
(Università degli Studi di Firenze)
REFLECTING ON FORMAL TRUTH AND THE FOUNDATIONS OF MATHEMATICS
7 november 2016
17h30-19h30
IHPST ? Salle de conférence
JEREMY AVIGAD
(Carnegie Mellon University)
MATHEMATICAL UNDERSTANDING
12 december 2016
17h30-19h30
IHPST? Salle de conférenceIGOR DOUVEN
(CNRS, FRE Sciences, Normes, Décision)
BETWEEN PARTITIONING AND HIERARCHICAL CLUSTERING
Responsables : Fabrice Pataut (SND) et Francesca Poggiolesi (IHPST)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam