6-10 May 2013, 18th Szklarska Poreba Conference on the Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba (Giant Mountains), Poland

The conference is an annual, 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, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

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, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.html