The PhML 2012 is a sequel in the series of conferences intended to provide a forum for presentation of current researches, and to stimulate a dialogue between mathematicians, logicians, philosophers, linguists and computer scientists who share an interest in cross-disciplinary research.

The conference will have plenary sessions to present the latest researches. In addition to plenary sessions, the conference will feature a panel discussion entitled "The Heritage of Kant and Contemporary Formal Logic".

Apart from plenary sessions, there will also be parallel sessions of thematic sections to present contributed papers.

Papers from a wide variety of perspectives are welcome, including but in no way limited to the following topics:

• New trends in the foundations of mathematics today;
• Ontology of mathematics and the nature of mathematical truth;
• The problem of abstract entities in mathematics, philosophy and linguistics;
• Formalization of Kant's logic and theory of judgments;
• The mathematical concept of a function: from the notions of mapping, transformation towards the notion of an algorithm;
• Complexity of finite objects: limited possibilities of man and computer;
• Philosophical aspects of informatics, novel computational models and paradigms;
• Philosophical aspects of the use of natural language in mathematics;
• Mathematical investigation of natural language structures;
• Mathematical models in the study of language.

The language of the conference is English. Call for contributed papers and other details can be found on the conference's page.

E-mail:
Website: https://www.pdmi.ras.ru/EIMI/2012/PhML/index.htm

Organisations
St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences