The seminar of the team Labo is under the responsibility of
Michel Raibaut.
Settings:
See with
increasing date
.
Hide abstracts
Other years: 2003, 2004, 2005, 2006, 2007, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018,
all years together.
Year 2008
Thursday 29th May 2008 at 14h
André Hirschowitz
(UNSA),
Enseigner les preuves avec Coqweb
Abstract: (Hide abstracts)
Faut pas le dire, mais l'enseignement supérieur des sciences (à Nice?), ça marche pas top (taper Objectif70 dans Google). Faut pas le dire, mais nous, les universitaires (niçois?), on n'a pas trop le temps de s'occuper de ce problème, on est débordés. Et les autres, ministres et recteurs, gare à eux s'ils s'avisaient de se méler de nos affaires. Par exemple on ne cherche pas trop à enseigner la rigueur autrement que par la méthode dite de Léo Lacroix (``faites comme moi''), qui a largement fait ses réfutations. Ceux qui essaient de faire autrement, forcément, ils y arrivent pas du premier coup, et ils se font casser bien avant d'y arriver. Coqweb (à taper dans Google pour voir) propose une nouvelle méthode. C'est une interface web pour Coq, principalement développée par Loïc Pottier pour l’enseignement. Il permet aux enseignants de proposer des énoncés sous une forme suffisamment familière. Les étudiants sont invités à démontrer ces énoncés essentiellement en cliquant. Des indications peuvent être données en langage naturel, et dans ce cas, l’interface vérifie que l’étudiant a bien compris l’indication. On dira un peu de ce qu'il ne faut pas dire, puis on racontera comment Coqweb marche bien et ce qu'on a fait avec.
Abstract available as a PDF file.
Thursday 10th April 2008 at 14h
Guy Métivier
(Bordeaux 1),
Un parcours initiatique en optique, optique géométrique et tissus
Abstract: (Hide abstracts)
TBA
Thursday 6th March 2008 at 13h50
François Hamel et Serguei Nazarov
(Universités de Marseille et de St Petersburg),
Une demi-journée en la mémoire de Thomas Lachand-Robert
Abstract: (Hide abstracts)
L'équipe EDP organise une demi-journée en la mémoire de Thomas Lachand-Robert (18/12/1966--23/02/2006).Programme:
-- 13h50-14h00. ``Petite introduction''.
-- 14h00-15h00. François Hamel (Université de Marseille).
``Inégalités de réarrangement et optimisation de formes''.
-- 15h00-15h30. Pôt en la mémoire de Thomas Lachand-Robert.
-- 15h30-16h30. Serguei Nazarov (St Petersburg).
``A criterion of the continuous spectrum for elliptic systems on peak-shaped domains``.
The seminar of the team Labo is under the responsibility of
Michel Raibaut.
Settings:
See with
increasing date
.
Hide abstracts
Other years: 2003, 2004, 2005, 2006, 2007, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018,
all years together.