André Hirschowitz
Laboratoire J.-A. Dieudonné, Université de
Nice - Sophia Antipolis, Parc Valrose, 06108 Nice Cedex 02. Office tel:
04 92 07 62 04 - Dept fax: 04 93 51 79 74 - Home tel: 04 93 29 05 75; email:
mon login c'est ah et la machine c'est math.unice.fr
Je suis plus trop
enseignant
mais encore vaguement
chercheur
au
labo de maths
de l'
UNS.
Derniers trucs marrants (?):
octobre 13 Le Printemps Logique: slides d'un exposé donné au
Colloquium de Mathématiques de Marseille.
janvier 13 Saturating directed spaces: preprint avec Michel et Tom, paru.
juillet 09 Nested Abstract Syntax in Coq: preprint avec Marco, paru depuis longtemps.
juin 09 Bivariate Hermite interpolation: slides d'un exposé donné au
Worshop on tensors and interpolation.
mars 09 Hilbert schemes of fat planes and the triviality of Chow groups: preprint avec Jaya, paru depuis longtemps.
mars 09 Contraction-free proofs and finitary games for Linear Logic: preprint avec Michel et Tom.
juillet 08 Towards topological games: preprint avec Michel et Tom.
juillet 08 Higher-order theories: preprint avec Marco.
avril 08 Towards a notion of truth for LL: preprint avec Michel.
mars 08 Réussir en licence: slides d'un exposé fait à Nice le 5 mars 08.
septembre 07 Enseigner les preuves: contribution écrite au colloque wims 07 (version non censurée).
mai 07 Enseigner les preuves: version live (utiliser le menu déroulant).
mai 07 Teaching proofs: slides d'un exposé fait à
PATE07 .