13-го заседания КоСМО по 2-му пункту повестки дня - "Доказательное программирование" /Э.Х. Тыугу, В.А. Непомнящий, В.К. Сабельфельд, Я.М. Барздинь/. Председательствующий - А.П. Ершов.
