Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
charset=utf-8
Bonjour,=20
un petit rappel pour le Colloque =E2=80=9CMathematics in Action=E2=80=9D =
qui aura lieu le 13 et 14 d=C3=A9cembre =C3=A0 Nancy dans la salle =
internationale de la MSH Lorraine. Pour plus de d=C3=A9tails et pour =
lire les r=C3=A9sum=C3=A9s, vous pouvez consulter le site des Archives =
Henri Poincar=C3=A9 : =
https://poincare.univ-lorraine.fr/fr/manifestations/colloque-final-les-mat=
hematiques-en-action =
<https://poincare.univ-lorraine.fr/fr/manifestations/colloque-final-les-ma=
thematiques-en-action>
Les expos=C3=A9s seront en anglais.
En esp=C3=A9rant de vous y retrouver nombreuses et nombreux, je vous =
souhaite une bonne fin de journ=C3=A9e.
Bien cordialement,
Valeria Giardino
Dec 13, Thursday=20
9.30 - 10 am
Welcome and Introduction. Valeria Giardino (CNRS, AHP-PreST)
10 - 11.30 am=20
David Rabouin (CNRS, SPHERE)
On the opacity of mathematical representation=20
11.30 - 11.45 am PAUSE
11.45 am - 1.15 pm
Roi Wagner (ETH Zurich)
The concrete practice of mathematical abstraction
1.15 - 2.30 pm LUNCH
2.30 - 4 pm=20
Matthew Inglis (Loughborough University)
Understanding expert and novice mathematical reading
4 - 4.30 pm PAUSE
4.30 - 6 pm=20
Yacin Hamami (Vrije Universiteit Brussel)
Cognitive Bases of Euclidean Diagrammatic Reasoning: Some Empirical =
Results
7.30 pm CONFERENCE DINNER
Dec 14, Friday
9.30 - 11 am=20
Jeremy Avigad (Carnegie Mellon)
The Mechanization of Mathematics
11 - 11.15 am PAUSE
11.15 am - 12.45 pm
Silvia De Toffoli (Stanford University)
Mathematical Justification in Practice
12.45 - 2 pm LUNCH
2 - 3.30 pm
Amirouche Moktefi (Tallinn University of Technology)
=46rom logic diagrams to diagrammatic logics=20
3.30 - 4 pm PAUSE
4 - 5.30 pm
Jessica Carter (University of Southern Denmark)
The role of diagrams in contemporary mathematics: Tools for discovery?
-----------------------
Valeria Giardino
Charg=C3=A9e de Recherche / Research Fellow
Centre National de la Recherche Scientifique
Archives Henri-Poincar=C3=A9 - Philosophie et Recherches sur les =
Sciences et les Technologies
UMR 7117 CNRS - Universit=C3=A9 de Lorraine - Universit=C3=A9 de =
Strasbourg=20
91 avenue de la Lib=C3=A9ration - BP 454.=20
F-54001 NANCY Cedex
-- No attachments (even text) are allowed --
-- Type: application/pkcs7-signature
-- File: smime.p7s
Pour inscrire une adresse sur la liste : educasup.philo-request chez
ml.free.fr avec subscribe dans le champ du sujet, en indiquant votre nom
complet et vos liens avec l'enseignement philosophique. Pour supprimer une
adresse: educasup.philo-request chez ml.free.fr avec unsubscribe dans le champ
du sujet.
