وتم في آب/اغسطس في آوﻻن باتار تنظيم حلقة دراسية ليوم كامل عن المنطق الزمني للنظم التفاعلية وأساليب وضع البرامج الحاسوبية المنهجية.
En agosto se orga-nizó en Ulaan baatar, un seminario de un día de duración sobre la lógica temporal de los sistemas reactivos y técnicas formales de desarrollo de programas de computadora.