Z głębokim smutkiem żegnamy Andrzeja Trybulca, znakomitego informatyka i logika. Dr Andrzej Trybulec niemal całe życie zawodowe związał z Uniwersytetem w Białymstoku. Był głównym twórcą projektu Mizar, nad którym pracował od roku 1973. Mizar jest oryginalnym, znanym w świecie, systemem automatycznego dowodzenia twierdzeń i tworzenia prac matematycznych.
Cześć Jego pamięci!
Zarząd Polskiego Towarzystwa Logiki i Filozofii Nauki