Re: Astral alignment

You sold us a "spring in Toscany" and it turns out to be
a "winter in Saxony"!

Let me think ...


Michel



On Tue, Feb 01, 2005 at 04:56:58PM +0100, Alessio Guglielmi wrote:
> 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

-- 
Michel Parigot
parigot-jWBY/M41MtVBtd510xpiSUZa+K1vlBrA@xxxxxxxxxxxxxxxx