Vincent Balat

DemoLinux : Linux installed on CD, to use it anywhere!

Center of Windows remission of tax: To make you refund Windows, cliquez here.

Studies:

Hello,

I am pupil in fourth year at the higher Teacher training school of Cachan , in thesis of data processing with the ENS of Paris .

Servers of the pupils:

Seek:

I currently work with Olivier Danvy (Aarhus, Denmark) on the partial evaluation directed by the types into Objective Caml, and with Didier Galmiche (Loria, Nancy, France) and Roberto Di Cosmo on linear logic intuitionalist.

FermiVista, to seek articles in math. physical and data-processing on Internet (ps, dvi...).
Hypatia.

Publications:

Vincent Balat and Olivier Danvy. Strong Normalization by Partial Type-Directed Evaluation and Run-Time Codes Generation. Tic ' 98 Proceedings, Lncs 1473, 1998.

To have fun:

Flight-with-veil:

I make sailplane, in Cholet Flight-with-Veil.

The French Federation of Flight-with-Veil
Maze, sailplanes old.
Takeoff.
A page on the Gliding.

Data processing:

My files of configuration for Emacs, tcsh, etc.
Trap in the cyberspace, by Roberto Di Cosmo. An article on Linux and Windows, with reading absolutely!
Da Linux French Page, all the Linux topicality in French.
The site ofthe AFUL (French-speaking Association of the Users of Linux and the Free Software).
Linux-center, and the " New News " of Linux.
The distribution Linux Mandrake, KDE, GNOME.

Music:

The Academy of music.
The orchestraC 5th.
A site intressant on the classical music (in English...), with information on the type-setters, and full with images.
Jean Sebastien Bach.
A little bit of Music.

Friends:

Useful:

AltaVista (in French), tool of search on Internet.
The Zoom Pages of France Telecom (telephone directory).
Schedules of cinema everywhere in France, Belgium and Switzerland.
French dictionary.
Handbook of French Grammar.
A Anglais/Français dictionary.

Images:

Pour m'envoyer un mél : Vincent.Balat@ens.fr