Conference contributions	ICS PAS reports	Unpublished	Popular CS articles

	Conference contributions: Wieslaw Pawlowski Context Institutions. In Magne Haveraaen and Olaf Owe and Ole-Johan Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers. LNCS, vol. 1130, pages 436-457, ©Springer-Verlag, 1996. Marek A. Bednarczyk, Tomasz Borzyszkowski Information Systems Development as Mechanizable Logical Activity. In S.Wrycza & J.Zupancic, eds, Proc. 5th International Conference Information System Development -- ISD'96S, Gdansk, Poland pages 535-544, September 1996. Marek A. Bednarczyk Logic of Predicates with Explicit Substitutions. In Wojciech Penczek and Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 1996, Proceedings. LNCS, vol. 1113, pages 192-205, ©Springer-Verlag, 1996. Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski Specifying and Verifying Parametric Processes. In Wojciech Penczek and Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 1996, Proceedings. LNCS, vol. 1113, pages 469-481, ©Springer-Verlag, 1996. Extended version: A Specification System for Parametric Concurrent Processes, 29 pages, December 1994, revised: December 1995. Wieslaw Pawlowski Context Institutions. In Magne Haveraaen and Olaf Owe and Ole-Johan Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers. LNCS, vol. 1130, pages 436-457, ©Springer-Verlag, 1996. Stefan Sokolowski, Philip Wadler Hindley-Milner for dependent and subset types. In Bror Bjerner, Marie Larsson, Bengt Nordstoem eds. Proc. 7th Nordic Workshop on Programming Theory, Goeteborg, Sweden, 1-3 November 1995, pages 438-453. Programming Methodology Group Report 86, Goeteborg Univ. and Chalmers Univ. of Technology, 1996.
	ICS PAS reports: Partial correctness -- the single assertion approach. (ed. Stefan Sokolowski), ICS PAS Report 800, 124 pages, January 1996. The volume contains revised versions of the following GDM reports: Stefan Sokolowski: Partial correctness as a specification method -- why is a new approach needed Stefan Sokolowski: Partial correctness of while-programs wrt a single assertion Marek A. Bednarczyk: Sokolowski logic: its semantics, relative soundness and relative completeness Stefan Sokolowski: Increasing flexibility in single assertion specifications: quantifiers and local variables Wieslaw Pawlowski: Case study in single assertion parametric specifications: simple database query Stefan Sokolowski: Case study in single assertion parametric specifications: sorting Marek A. Bednarczyk: A translation of Sokolowski Logic to non-commutative Linear Logic Marek A. Bednarczyk, Tomasz Borzyszkowski: Towards program development, specification and verification with Isabelle Joint bibliography Stefan Sokolowski Intersection of functional subset types. ICS PAS Report 825, 10 pages, November 1996.
	Unpublished: Stefan Sokolowski On the upgrading of specification's realization. 17 pages, April 1996. Stefan Sokolowski Requirement specifications and their realizations: toward a unified framework. Submitted to Theoretical Computer Science, 52 pages, May 1996.
	Popular articles: Stefan Sokolowski O mitologii komputeryzacji -- moje trzy grosze (in Polish). Informatyka, No. 12/1996, pp. 33-35, December 1996.

To the home page of	ICS PAS Gdansk