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.

  • Je propose des stages de master.
  • Je ne cache ni mon cv ni mes publications.
  • J'ai eu plein de potes
  • et une conf de toute beauté.
  • J'ai été un expert en matière de broyage, mais c'est bien loin, tout ça.

  • 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 .