Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

23-25 September 2005, TRENDS IN LOGIC III; International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer, Warsaw (23) and Ruciane-Nida (24-25)

Date: 23-25 September 2005
Location: Warsaw (23) and Ruciane-Nida (24-25)
Deadline: 15 June 2005

The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.

Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.

For more information: see http://www.studialogica.org/mrr.html or email .

Contributions motivated by the research of A. Mostowski, H. Rasiowa and C. Rauszer or dedicated to them are invited in the following areas: mathematical logic, foundation of mathematics, mathematical and logical foundations of computer science. Please send an extended abstract not exceeding 6 pages (by e-mail in the printable format .pdf) to Wiktor Marek () not later than June 15, 2005.

Please note that this newsitem has been archived, and may contain outdated information or links.