Dalam rangka meningkatkan pengetahuan dan kemampuan terhadap perangkat lunak, Kementrian Negara Riset dan Teknologi bekerjasama dengan Pusat Dokumentasi dan Informasi Ilmiah - lmu Pengetahuan Indonesia (PDII-LIPI) dan International Institute Technology, United Nation University (UNU - IIST) akan menyelenggarakan "Training Course on Formal Aspects of Software Development". Pelatihan akan diselenggarakan pada tanggal 8-12 Agustus 2005 di Gedung PDII-LIPI, Lt.6, Jl. Jend. Gatot Subroto NO. 10, Jakarta 12190 Untuk keterangan lebih lengkap, silahkan kunjungi http://www.pdii.lipi.go.id/training/brosur.pdf