Jun 25, 2012
AdaCore Internal Seminar -
Jean Louis Dufour (Sagem DS, http://fr.linkedin.com/pub/jean-louis-dufour/18/7b7/228), will come to the AdaCore Paris offices to give a 101 introduction to the B-Method.
AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to email@example.com.