Le séminaire de l’équipe Labo est sous la responsabilité de Michel Raibaut.
Options : Voir par date croissante . Masquer les résumés.
Autres années : 2003, 2004, 2005, 2006, 2007, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, toutes ensemble.

Année 2008

Jeudi 29 mai 2008 à 14h, Chambéry André Hirschowitz (UNSA),
Enseigner les preuves avec Coqweb

Résumé : (Masquer les résumés)
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.

Résumé disponible sous forme de fichier PDF.

Jeudi 10 avril 2008 à 14h Guy Métivier (Bordeaux 1),
Un parcours initiatique en optique, optique géométrique et tissus

Résumé : (Masquer les résumés)
TBA

Jeudi 06 mars 2008 à 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

Résumé : (Masquer les résumés)
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``.

Le séminaire de l’équipe Labo est sous la responsabilité de Michel Raibaut.
Options : Voir par date croissante . Masquer les résumés.
Autres années : 2003, 2004, 2005, 2006, 2007, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, toutes ensemble.