I'm still on my field trip in Saarbruecken but will try to be at the Sous-Bock at 21:30, maybe some minutes later.
And I certainly will need a BIG beer :-) See you tonight -Ralf. -- Ralf Treinen Laboratoire Sp�cification et V�rification CNRS & �cole Normale Sup�rieure de Cachan http://www.lsv.ens-cachan.fr/~treinen -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
