Template paper for the Proceedings of PhML-2014

First Author

University Department, University Name

Address, City, State ZIP/Zone, Country

first_author@university.edu

Second Author

Group, Laboratory

Address, City, State ZIP/Zone, Country

second_author@group.com

Abstract: The first page should include an abstract clearly outlining the contribution of the paper. It should be displayed one space below the author's affiliation, typed in 11 pt on full width of text,
have its title bold 11 pt and aligned against the left-hand margin of page. It should not contain any references or displayed equations. The abstract should be one paragraph only and should be no longer than 10 lines.

Key words: keyword1, keyword2, keyword3

Introduction
The following instructions are directed to authors of papers submitted to PhML-2014 or accepted for publication in the PhML-2014 Proceedings. All authors are required to adhere to these specifications. Authors are required to provide a pdf-file of their paper together with its source rtf-file for papers prepared with MS Word.

1. General instructions

Start all pages (beside the first page) directly under the top margin. See guidelines in the pdf-file “PhML-2014.pdf” regarding formatting the first page. Submission should be prepared in one-column format with no headers/footers and no page numbers. The length of a submitted paper should be at least six (6), maximum twelve (12) pages, including tables, figures, references and appendices.

1.1. Resources available at PhML-2014 WebSite

At the conference WebSite, there is “Authors' Guidelines” which provides this instructions in LaTeX2e source tex-file “PhML-2014.tex'', in the pdf-file “PhML-2014.pdf”, and in rtf-file “PhML-2014.rtf” you are reading, along with the LaTeX2e style file “PhML-2014.sty”
and BiBTeX bib-file “PhML-2014.bib”, and MS Word template file “PhML-2014.dot”.

We strongly recommend the use of these LaTeX files, which have been appropriately tailored for the PhML-2014 Proceedings. For those who prepares a paper with MS Word, the template file (PhML-2014.dot) is also available at the same address. In this case, we strongly recommend the use the “Microsoft Equation 3.0 for Microsoft Word 2003” (or later) when writing mathematical formulas.

1.1.1. Format of electronic submission

The PhML-2014 Proceedings will be processed by using the authors' source tex-file and bib-file, or by using the authors' source rtf-file. These files (*.tex and *.bib, or *.rtf) should be submitted with the pdf-file, and resubmitted in the final form if a paper requires revision before being accepted for publication.

For papers prepared with MS Word, the pdf-file may be generated from source rtf-file; for example, in Open Office one may simply convert rtf-file to pdf-file by choosing File>Export as PDF.

If you have a problem to meet these requirements, please contact as soon as possible the Organizing Committee at PhML-2014@pdmi.ras.ru

2. Layout

Format manuscripts in the manner these instructions are formatted by using the MS Word template file (PhML-2014.dot) available at the conference WebSite. For more information concerning layout, see general instructions in pdf-file “PhML-2014.pdf”.

There is below an example of references’ list formatted in the apacite style.

References

Barwise, J., & Cooper, R. (1981). Generalised quantifiers and natural language. Linguistisc

and Philosophy, 4, 159-219.

Bourbaki, N. (1948). L'Architecture des mathйmatiques. In F. Le Lionnais (Ed.), Les grands

courants de la pensйe mathйmatique (p. 40-41). Paris: Hermann.

Ernй, M. (1991). The ABC of Order and Topology. In H. Herrlich & H.-E. Porst (Eds.),

Research and Exposition in Mathematics Vol. 18. Category Theory at Work (p. 57-	83). Berlin: Heldermann.

Frege, G. (1967). Begriffsschrift, a formula language, modeled upon that of arithmetic, for

pure thought (S. BauerMengelberg, Trans.). In J. van Heijenoort (Ed.), From Frege	to Gцdel (p. 1-82). Cambridge, Massachusetts: Harvard University Press.	(Original work published 1879)

Knuth, D. E. (1986). The TEX book. Reading, MA: Addison Wesley.

Lambek, J., & Scott, P. S. (1986). Introduction to higher order categorical logic. Cambridge:

Cambridge University Press.

Lamport, L. (1994). LATEX: A Document Preparation System. User's Guide and Reference

Manual (2nd ed.). Reading, MA: Addison-Wesley.

Mac Lane, S., & Moerdijk, I. (1992). Sheaves in Geometry and Logic. A First Introduction to

Topos Theory. Berlin-Heidelberg-New York: Springer-Verlag.

Quine, W. V. (1977). Relativitй de l'ontologie et quelques autres essais (J. Largeaut, Trans.).

Paris: Aubier-Montaigne.

Sundholm, G. (2002). A century of inference: 1837-1936. In P. Gдrdenfors, J. Woleński, &

K. Kijania-Placek (Eds.), In the Scope of Logic, Methodology and Philosophy of	Science. Volume Two of the 11th International Congress of Logic, Methodology	and Philosophy of Science, Cracow, August 1999 (Vol. 316, p. 565-580). Dordrecht:	Kluwer.

Template paper for the Proceedings of PhML-2014

op

2013-09-11