Grant application

Hello,

I'm about to apply by the EU for a huge grant for setting up a new 
group in deep inference (with a few doctoral and post-doctoral 
positions).

I'd like to give a complete picture of the current research activity. 
I would then ask those in the Frogs list who are doing research using 
ideas of deep inference and calculus of structures to get in touch 
with me (DI need not be your principal activity, of course).

There's no need for you to write me if it's obvious that I know about 
you, for example because your activity is mentioned in 
<http://alessio.guglielmi.name/res/cos/crt.html>. If it's not clear 
that I know what you're doing, please also send me two lines of 
description.

Please reply soon, thanks!

-Alessio