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
