Formal specification language conference coming in February 22-25 at Orford, Canada

While searching about formal specs languages after Christmas, I found this invitation ... for 2010 ASM, Alloy, B and Z conference It will be hold in Orford, a nice place located almost mid-way between Quebec and Montreal, Canada Don't know yet if I will assist or not ! at 85 CDN $ or 600 CDN $ Since I'm just beginning to study (and play with) these tools ... http://abzconference.org/ Are there some ppl who plan to come for the occasion ? -- G=E9rard C=F4t=E9 Qu=E9bec, Canada