deep inference meeting

Hi Frogs,

The next "deep inference meeting" will be held on June 21st, 2007 in 
Palaiseau (30min from Paris). The webpage is here:

http://www.lix.polytechnique.fr/~lutz/orgs/INFERmeetingJune2007.html

Of course, everybody is invited to participate. If you want to contribute 
a talk, please let me know.

Best wishes,
Lutz