Z prac sekcji
W dniu 14 grudnia 1982 odbyło się zebranie organizacyjne sekcji języków informacyjno–logicznych. Przybyło 16 osób z Warszawy; Białegostoku, Poznania i Łodzi. Referat wprowadzający na temat tych języków wygłosił kol. Piotr Rudnicki. Następnie wybrano trzyosobowy zarząd sekcji w składzie: kol. Andrzej Trybulec, Piotr Rudnicki i Roman Matuszewski. Podczas dyskusji omówiono plan pracy sekcji na rok 1983. Ustalono, że sekcja będzie prowadziła szkolenie z tematyki języków informacyjno–logicznych oparte na implementacji języka Mizar 1900. Przewiduje się prowadzenie międzyśrodowiskowego seminarium badawczego. Według zebranych, sekcja powinna dysponować specjalistyczną biblioteką materiałów dotyczących języków informacyjno–logicznych (nie opublikowanych opracowań i raportów, artykułów oraz dokumentacji użytkowanych systemów opartych na językach informacyjno–logicznych): Byłoby pożyteczne zainicjowanie wydawania, w ramach PTI, serii opracowań na temat tych języków. Kontakty zagraniczne będą się odbywały według zasad przyjętych przez PTI. Przewiduje się zwoływanie zebrań sekcji raz na kwartał; pierwsze zebranie w tym roku odbędzie się na początku marca. Przewiduje się też organizowanie corocznej; kilkudniowej szkoły języków informacyjno–logicznych.
R. M.
