Vincent Balat

 DemoLinux : Linux installé sur le CD, pour l'utiliser n'importe où!

Remise centrale des Windows de l'impôt: Pour vous faire des Windows du remboursement, cliquez ici.

Études:

Bonjour,

Je suis élève par la quatrième année à l'école d'une formation plus élevée de professeur de Cachan , dans la thèse de l'informatique avec l'cEns de Paris .

Serveurs des pupilles:

• Une université de la formation du professeur De Lyon
• Une université de la formation de professeur de Cachan
• Une université de la formation du professeur De Paris

Je travaille le courant avec Olivier Danvy (Aarhus, Danemark) sur l'évaluation partielle dirigée par les types dans Caml objectif, et avec Didier Galmiche (Loria, Nancy, France) et Roberto Di Cosmo sur l'intuitionalist linéaire de la logique.

• FermiVista, pour rechercher des articles dans les maths et l'informatique sur Internet (picoseconde, l'examen médical du dvi...).
  
• Hypatia.

Pour avoir la récréation:

• Les avions ne sont pas convexes
• Vers des olorimes, etc..

Je fais le sailplane, dans Cholet Flight-with-Veil.

• La fédération française de Flight-with-Veil
  
• Labyrinthe, vieux sailplanes.
  
• Décollage.
  
• Une page sur la glissade.
  

• Mes fichiers de configuration pour Emacs, tcsh, etc..
• Piège dans le cyberespace, par Roberto Di Cosmo. Un article sur Linux et Windows, avec lire absolument!
  
• Page française de Da Linux, toute l'actualité de Linux français.
• Le sitede l'cAful (association de la langue française des utilisateurs de Linux et du logiciel libre).
  
• Linux-centre, et les " nouvelles nouvelles " de Linux.
• La distribution Linux Mandrake, KDE, GNOME.
  

• L'académie de la musique.
  
• L'orchestreC 5ème.
  
• Un site intressant sur la musique classique (en anglais...), avec l'information sur les type-setters, et plein avec des images.
  
• Jean Sebastien Bach.
  
• Musique.