9H-9h15	Accueil des participants
9h15-9h30	Une autre interface pour l'atelier B Bruno Tatibouët, Université de Franche-Comté, Besançon (F) Transparents (pdf)
9h30-10h	De l'analyse des besoins à la spécification formelle en B : un cours en première année d'IUT de Vélizy Nicole Lévy, IUT de Vélizy, (F) Transparents (powerpoint)
10h-10h15	Pause
10h15-12h	L'enseignement de B et des méthodes formelles, Etude des files de priorité, J.P. Boideveix, M. Filali, S. Sarpdag, IRIT, Université Paul Sabatier, Toulouse (F) Transparents (pdf)
	Un outil pour la description d'arbres abstraits en B J.P. Boideveix, M. Filali, IRIT, Université Paul Sabatier, Toulouse (F) Transparents (pdf)
12h-12h30	Development of a cryptographic algorithm in B Frank Zeyda, University of Teesside (UK)
12h30-14h	Pot offert par l'IUT Déjeuner
14h-15h	Du travail actuel sur le B du futur au futur enseignement de B J.-R. Abrial, Marseille (F) Transparents (pdf)
15h-16h15	Exemples d'études de cas proposées aux étudiants et façon dont on fait les preuves. Développement d'un algorithme de construction d'un arbre minimum sur un graphe connexe Dominique Cansell, Dominique Méry, LORIA, Nancy (F) Transparents (pdf)
16h15-16h30	Pause
16h30-17h	Types de contrôle de connaissances, stratégies d'enseignement (cours et TD) Henri Habrias, Université de Nantes (F) Transparents (powerpoint)
17h	Fin de la journée