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.