Leszek Pacholski Libri

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, took place from November 24 to December 1, 2001, in the renowned spa town of Piešťany, Slovak Republic. This marked the 28th annual conference in the SOFSEM series, traditionally held in Slovakia or the Czech Republic. The conference serves as a multidisciplinary platform focused on the theory and practice of software systems, promoting collaboration among academia and industry professionals in various informatics fields. The scientific program included invited talks that set the conference agenda and short contributed talks showcasing original research findings. In 2001, the SOFSEM Steering Committee selected three main themes for the conference: Trends in Informatics, Enabling Technologies for Global Computing, and Practical Systems Engineering and Applications. These themes were explored through 12 invited talks by leading researchers, along with 18 contributed talks chosen by the international Program Committee from 46 submitted papers. Additionally, the conference featured workshops on Electronic Commerce Systems, coordinated by H. D. Zimmermann, and Soft Computing, coordinated by P. Hájek.

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.