Journées de l'IREM de Nantes

Journ ees Acad emiques 2013 de l'IREM de Nantes
Facult e des Sciences - B^atiment 2
MERCREDI 17 AVRIL - Matin :
8h45 - 9h Accueil
9h - 9h20 Introduction
9h20 - 10h40 Conf erence d'Evelyne BARBIN : (Universit e de Nantes)
\Les roles des symboles et des diagrammes dans le raisonnement mathematique"
10h40 - 11h Pause caf e
11h - 12h20 Conf erence de J erome GERMONI : (Universit e de Lyon 1)
\Des erreurs, des preuves, des caract eres et un Coq"
12h20 Repas CROUS Lombarderie
13h20 - 14h05 Assembl ee g en erale de la r egionale de l'APMEP
MERCREDI 17 AVRIL - Apr es-midi :
14h15 - 15h35 : 3 Ateliers en parall ele
** Fran cois Sauvageot : \Probabilit es situationnistes, langage et intuition(s) : une d erive de la maternelle
a la maternelle sup erieure"
** Sylvie Grau : \Comment faire en zone sensible ?"
** Xavier Provot + Marion Larr ere : \Evaluer autrement"
15h35 - 15h55 Pause - caf e
15h55 - 17h15 : 2 Ateliers en parall ele
** Guillaume Connan : \La bo^ te de Pandore des math ematiques exp erimentales : comment un TP qui
semblait fonctionner tourne au cauchemar..."
** Olivier Evain + Johnn Adam : \Evaluer par comp etences : une SaCoche pour nous aider..."
JEUDI 18 AVRIL - Matin :
8h45 - 9h10 Accueil
9h10 - 10h40 Conf erence de Fran cois SAUVAGEOT : (Lyc ee Clemenceau, Nantes)
\Les math ematiques en partage (histoires sans paroles, langage naturel et experts)"
10h40 - 11h Pause caf e
11h - 12h30 Conf erence de Fran coise DAL'BO-MILONET : (Universit e de Rennes)
\Des bords a l'in ni pour raisonner"
12h30 Repas CROUS Lombarderie
JEUDI 18 AVRIL - Apr es-midi :
13h45 - 15h05 : 3 Ateliers en parall ele
** Guillaume Connan (2) : \Langage (et ou de) programmation pour mieux parler de math ematique(s)..."
** Anne Boy e : \Un atelier de la plan ete Terre : la mesure du m etre et le syst eme m etrique"
** Olivier Pinson : \un exemple de s equence d'apprentissage de l'algorithmique en seconde : de l'introduction
a l' evaluation"
15h05 - 15h25 : Pause - caf e
15h25 - 16h45 : 2 Ateliers en parall ele
** Pascal Chauvin : \Math ematiques et programmation fonctionnelle"
** Emmanuelle Forgeoux + Christophe Hache : \l'enseignement de la logique au lyc ee : la gestion des
implicites"
16h45 Fin des Journ ees Acad emiques de l'IREM,
... mais il serait dommage, sur un th eme assez proche de la conf erence de J er^ome Germoni, de
rater l'expos e du Colloquium o ert par Assia MAHBOUBI (de l'INRIA) a 17h, salle des s eminaires du
D epartement de Math ematiques, expos e intitul e :
\V eri er des preuves math ematiques avec un ordinateur".