The registration is open

The registration is open.
Attention ! the number of places is limited to 30.

http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/

EXTENDED DEADLINE : 28 April 2008

New books with texts on B and Event-B

http://www.springer.com/computer/foundations/book/978-3-540-74106-0

and here :

http://www.springer.com/computer?SGWID=0-146-6-467209-0

Formed 2008

Some pictures ...
2008, next FORMED in York (U.K.)