Annual Conference
Applications of Logic in Philosophy and Foundations of Mathematics

Karpacz / Szklarska Poręba

Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, Wroclaw University, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, Opole University.
Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes and structural completeness. The conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.
The seventeenth conference will take place in Szklarska Poręba from May 7 to May 11, 2012 and its leading theme will be Part-whole Theory. We encourage everyone interested in logic, not only in the research related to the leading theme, to participate in our event. Contributions related to the leading theme and other topics in logic, logical philosophy, the foundations of mathematics and related areas are welcome.




Download full programme (PDF)




17th Conference
Applications of Logic in Philosophy and Foundations of Mathematics

Part-whole Theory

May 7-11, 2012
Szklarska Poręba, Poland

Second Announcement




We are pleased to announce that the Seventeenth Conference Applications of Logic in Philosophy and Foundations of Mathematics will be held in Szklarska Poręba from May 7 to May 11 2012. Traditionally, the organizers of the conference are Chair of Logic, Wrocław University, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia. The event is being held under the patronage of Polish Association for Logic and Philosophy of Science.

The leading theme of the current issue of the conference is Part-Whole Theory. It is a pleasure to announce that the list of the invited speakers of our conference includes Thomas Mormann, University of Basque Country, Marek Rosiak, University of Łódź and Toshiharu Waragai, Tokyo Institute of Technology.

The conference venue is situated in the Sudety Mountains on the Polish-Czech border at Olimp Hotel in Szklarska Poręba. The cost of accommodation (including meals) is from 634 PLN in a double room to 714 PLN in a single room. The conference fee is 150 PLN. For the payment details, please, visit the conference website http://www.klmn.uni.wroc.pl/conference.html. For registration and the hotel reservation, please fill out the registration form on the conference website. The deadline for registration and the hotel reservation is April 20, 2012.

We encourage everyone interested in logic, and part-whole theory in particular, to participate in our event. Contributions concerning the leading theme of the conference and other topics in logic, logical philosophy, foundations of mathematics and related areas are welcome. The abstracts of 30-40 minutes talks, not extending one page, should be submitted via the registration form on the conference website. The deadline for submissions is April 13, 2012.

For additional information, please, contact the organizers, Marcin Selinger marcisel@uni.wroc.pl or Tomasz Połacik polacik@math.us.edu.pl.

We are looking forward to seeing you at the conference,

Janusz Czelakowski, Opole University
Tomasz Połacik, University of Silesia
Marcin Selinger, Wrocław University