St. Petersburg Department of V.A. Steklov Institute of Mathematics of the Russian Academy of Sciences

Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012

International interdisciplinary conference to be held on May 22–25, 2012, St. Petersburg, Russia

Conference Description

The international interdisciplinary conference Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML-2012) will be held on May 22–25, 2012, at the Euler International Mathematical Institute (EIMI), which is a part of the St. Petersburg Department of Steklov Mathematical Institute (PDMI). The EIMI is located in the center of St. Petersburg, at the address: Pesochnaya nab., 10.

The conference PhML-2012 is a sequel in the series of conferences intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. 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.

Presentations should be given in English, although the working languages of the conference are English and Russian. The standard presentation equipment (PC, beamer, overhead projector, blackboard etc.) will be available.

Organizing / Program Committee

Edward Karavaev (St. Petersburg State University, Russia),
Elena Lisanyuk (St. Petersburg State University, Russia),
Ivan Mikirtumov (St. Petersburg State University, Russia),
Yuri Nechitajlov (St. Petersburg State University, Russia),
Vladimir Orevkov (PDMI RAS, St. Petersburg, Russia), co-chair,
Oleg Prosorov (PDMI RAS, St. Petersburg, Russia), co-chair,
Anatol Slissenko (University Paris–Est Créteil, LACL, France),
Sergei Soloviev (IRIT, Toulouse, France).

Plenary Speakers

Theodora Achourioti (University of Amsterdam, the Netherlands),
Michel De Glas (CNRS - University Paris–Diderot, France),
Dmitry Grigoriev (CNRS - University Lille 1, France),
Jaakko Hintikka (Boston University, USA),
Edward Hirsch (PDMI RAS, St. Petersburg, Russia),
Edward Karavaev (St. Petersburg State University, Russia),
Michiel van Lambalgen (University of Amsterdam, the Netherlands),
Yuri Manin (Max Planck Institute for Mathematics, Germany),
Grigori Mints (Stanford University, USA),
Andrey Patkul (St. Petersburg State University, Russia),
Jeff Pelletier (University of Alberta, Canada),
Graham Priest (City University of New York, USA - University of Melbourne, Australia),
Oleg Prosorov (PDMI RAS, St. Petersburg, Russia),
Andrei Rodin (Institute of Philosophy RAS, Russia - University Paris–Diderot, France),
Gabriel Sandu (University of Helsinki, Finland),
Anatol Slissenko (University Paris–Est Créteil, LACL, France),
Sergei Soloviev (IRIT, Toulouse, France),
Markus Werning (Ruhr University of Bochum, Germany).

Each plenary talk is allotted 55 min, which includes 10 min for questions and discussion.

Panel Discussion

The panel discussion entitled "The Heritage of Kant and Contemporary Formal Logic" is allotted up to 90 minutes. During a plenary session, it will be discussed the various aspects of Kant's logic and theory of judgement from the point of view of formal logic. The format of panel discussion includes an exchange of views on the discussed issues between the discussants and the audience.

Conference Program and Abstracts of Talks are now published.

Thematic Sections

Presentations of contributed papers are organized into two sections:

  1. Philosophical Insights into Logic and Mathematics;
  2. Mathematical Models in the Study of Natural Language;

Each section talk is allotted 25 min, which includes 5 min for questions and discussion.

Call for papers is now over.

Submission of papers

For presentation at the conference, we invite authors to submit full length papers electronically, as an e-mail attachment, to Papers should be prepared following the Authors' Guidelines for the PhML-2012 conference and submitted to arrive on (or before) 26th March, 2012.

For an accepted paper to be included in the Proceedings, all the authors must register as participants of PhML-2012 but only the authors who are present must pay the registration fee upon arrival. Authors of accepted papers are required to ensure that at least one of them will attend the conference to present the paper. Papers that do not adhere to this policy will be removed from the Proceedings.

Registration / Visa / Accommodation

The registration for the PhML-2012 consists of two steps: the first one is obligatory online pre-registration, the second should be done upon arrival at a location to be announced in a program later. A registration fee is 150 €. It covers the conference kit, the publication of 1 paper of maximum 8 pages in the conference Proceedings, lunches, tea breaks. The fee is payable in cash upon arrival, cards excluded. You'll be given a receipt. For participants from Russia and Belarus, the registration fee is 1000 Rubles.

To pre-register online, please fill in the PhML-2012 Registration Form, and submit it. This form contains fields about Russian visa and accommodation in St. Petersburg. To whom it concerns, please read pages Russian Visa and Accommodation for more information. If you intend to come, please register as soon as possible, because the accommodation is handled on a first-come-first-served basis. In case you encounter any problem with the aforesaid form, please send an e-mail to Nadia Zalesskaya (secretary) (


Papers will be published in the conference Proceedings printed in a local series with ISBN no. and distributed at the conference.

Important Dates

Latest News

May 18th, 2012: Program of the conference is now published.

March 23rd, 2012: Authors' Guidelines are extended and a problem of compatibility of PhML_2012.sty with amsthm package is fixed.


Please direct all inquiries to the Organizing / Program Committee by e-mail: You may also ask a question by phone call personally to:

Oleg Prosorov (co-chair) +7 952 246 4549
Nadia Zalesskaya (secretary) +7 960 279 1037

Links to: PDMI,  EIMI Last Update: January 23, 2013