Astral alignment

Hello,

two things about workshops:

1) It looks like we won't have a meeting in Tuscany as planned at the 
last workshop in October, because in the meantime the workshop in 
Lisbon has taken shape.

2) We're going to have a workshop in February in Dresden. We invited 
Richard McKinley, and then Kai and Lutz wanted to be here, and then 
Alwen comes, Yves Guiraud, Michel Parigot, and so: let's make a 
workshop!

Nothing is decided, apart that the main day of the workshop should be 
February 22, with the days before and after as options. Of course, 
everybody is invited and can stay for more days. Actually, I 
anticipate that many discussions will have to take place, given the 
hot topics. Perhaps there'll be a day of talks and then several days 
of meetings, or something like that.

I guess the main topics of the workshop will be:

    proof nets and semantics of proofs,
    war to bureaucracy and formalisms A/B.

There are some big news from Alwen but I don't want to tell you myself.

Apart from us locals, there should be

    Kai Bruennler (Bern)
    Yves Guiraud (Marseille)
    Richard McKinley (Bath)
    Lutz Strassburger (Saarbruecken)
    Alwen Tiu (Nancy)

Michel Parigot sent me a `why not!' message, so I hope he'll be here, 
and I'm trying to convince Phiniki and Francois (you cannot miss 
this, Francois, also because there are some news you should see in 
the war to bureaucracy). Stephane Lengrand should be here, too! 
Stephane, what are you doing?

Who else wants to come? Please, let me know soon and I'll post an updated list.

-Alessio