Z prac sekcji PTI
Sekcja formalnych metod inżynierii oprogramowania
Najbliższe spotkanie sekcji odbędzie się 8 czerwca (w sobotę), jak zwykle w godz. 1100–1500 w Warszawie w Pałacu Kultury i Nauki, sala 1044. Na spotkaniu tym przedstawię swe wrażenia z pobytu w Danii, gdzie będę w stałym kontakcie m. in. z zespołem prof. D. Bjornera. Omówimy także dalszy plan działania sekcji.
W związku z wykładami o metodzie denotacyjnej wygłoszonymi w ramach obu edycji Szkoły PTI napływają do mnie zapytania dotyczące możliwości włączenia się do prac sekcji. Oczywiście, sekcja jest otwarta dla wszystkich zainteresowanych, jednak w ciągu 14 miesięcy jej istnienia dotychczasowi członkowie wysłuchali ok. 40 godzin mojego wykładu poświęconego teorii metody denotacyjnej oraz jej zastosowaniom przy projektowaniu języków i systemów programowania. W dalszych zajęciach i pracach sekcji będziemy się oczywiście odwoływać do tego materiału. Aby umożliwić nowo wstępującym członkom przyswojenie sobie już wyłożonych wiadomości, postanowiłem uruchomić w ciągu kilku pierwszych miesięcy roku akademickiego 1985/86 klasę “juniorów”, której zajęcia będą się odbywać równolegle z zajęciami “seniorów”. Wszyscy juniorzy będący członkami PTI otrzymają prawie pełne teksty wykładów w języku angielskim (literatury w języku polskim nie ma i zapewne długo jeszcze nie będzie).
Pierwsze spotkanie klasy juniorów odbędzie się w październiku 1985. O dokładnym terminie poinformuję wszystkich zainteresowanych, którzy nadeślą zgłoszenia pod adresem
Andrzej Blikle
Instytut Podstaw Informatyki PAN
Pałac Kultury i Nauki, skr. poczt. 22
00-901 Warszawa
Oczywiście osoby, które już się zgłosiły, nie muszą czynić tego powtórnie.
Andrzej Blikle
przewodniczący sekcji