Warsaw, September 23, Ruciane-Nida, September 24 - 25, 2005
under the auspices of "Polish Association for Logic and Philosophy of Science" , "Studia Logica" , "Fundamenta Informaticae"
co-organized by: Institute of Mathematics & Institute of Informatics Warsaw University, Institute of the Mathematics Polish Academy of Sciences , Faculty of Mathematics of Cardinal Stefan Wyszyński University in Warsaw, Institute of Philosophy and Sociology Polish Academy of Sciences, Institute of Computer Science, Polish Academy of Sciences, University of Economics and Computer Science in Olsztyn, University of Information Technology and Management in Rzeszow, Polish-Japanese Institute of Information Technology in Warsaw, Institute of Mathematics University of Bialystok, Department of Informatics Technical University of Bialystok
Conference goals:
- To
gather the former students and collaborators of Andrzej Mostowski,
Helena Rasiowa and Cecylia Rauszer and to recall their scientific and
methodological heritage.
- To
review the impact of their results on the foundations of mathematics
and computer science as well as new results by their scientific
children and grandchildren.
- To
discuss future developments of logic and its applications.
