6. 10. 92 -- Kung-Kiu Lau (Manchester, Wielka Brytania) A user--guided method for deductive synthesis of logic programs 13. 10. 92 -- Pawel Keller Uogolniona metoda Clenshawa -- Curtisa obliczania calek nieoznaczonych 27. 10. 92 -- Stanislaw Lewanowicz i Stefan Paszkowski (INTiBS PAN, Wroclaw) Analityczne przyspieszanie zbieznosci pewnych szeregow nieskonczonych 3. 11. 92 -- Witold Karczewski Niewymiernosci o nieokresowym przedstawieniu 1. 12. 92 -- Adam Szustalewicz Obliczenia komputerowe w szkole -- doswiadczenia z kursow dla nauczycieli 8. 12. 92 -- Krystyna Zietak Sciany, subpochodne i macierze dualne