ففي عام ١٩٩٦، شملت هذه الدورات واحدة في اﻷرجنتين بشأن &quot; اﻷساليب الرسمية لوضع البرامج الحاسوبية &quot; .
Ainsi, en 1996, un stage a été proposé en Argentine sur les méthodes formelles de conception de logiciels.