Projects in France

Hi,

We have got the second big deep-inference grant approved in France. 
So, they might not be doing well in sports, but the French have good 
ideas about where to spend their research money (more than two 
million euros for the two projects).

This new project is called Demosthene (Francois's idea) and will 
involve Francois, Paola and myself for two years, on the problem of 
proof identity. We will start in the next few weeks.

So, young people on the list, if you like cheese, study deep inference!

-Alessio