THE TITLE OF THE PAPER

Author1, Author1, Author2

1Department example, University example, city, postal code, country

2Laboratory example, city, postal code, country

Correspondence to: Author1 (author@email.com)

Abstract

Following you will find guidelines for the layout and style of your extended abstract we would like to obtain from you. It has to be submitted in English. The length of the extended abstract (without its abstract) should not exceed 1200 words and number of graphical elements (figures, graphs, maps, etc.) needs to be kept on a relevant level. Each extended abstract must have a clear and fully descriptive abstract. The abstract should be a single paragraph of about 200 words maximum.

Keywords: provide at least three keywords separated by commas

STYLES

All contents of this template are formatted as required for your papers, i.e. they serve as an example which you can directly use. We recommend using this template, for which the printing areas, headings, font sizes, etc. have been set up.

If you would like to change style or add your own style, please consult this on gisostrava@vsb.cz. Use italics to highlight the text, not bold font. Do not indent from the left a paragraph following an empty line or heading, indent the others. You can use lists or ordered lists.

The body of the paper can be split into chapters (i.e. Introduction, Methodology, Results, Conclusions, References) and optionally the chapters into their sections.

Tables and illustrations

It is recommended to place tables and illustrations into the text, on the page with the first notice or reference, if possible. In case of a table, leave two empty lines, type Table 1. (Fig 1.), the name of a table on a new line, then leave one more line and place a table. If the table is too long, on the following page you must repeat its number again, together with headings for individual columns.

A number and text should be typed under the illustration. Small illustrations can be placed beside one another. Descriptions for illustrations should be clear and legible.

Examples

Figures and tables shall be centred. Formulas and equations should be on the left side. If a formula has to be marked, use bold numbering on the right in thin parentheses (justify using an invisible table, see the example).

x = y + 3x	(1)

To make formulas, we recommend to insert formula as a figure. If the equation is simple enough it can be written directly as a text.

Format figures and tables according to the following examples.

Fig. 1. Figure caption

Table 1. Table caption (positioned 1 line above the table).

Heading type	Example	Style
Title	Example of use ...	Paper heading
Chapter	Instructions for Authors	Chapter heading
Section	Styles	Section heading
Paragraph	Paragraphs If you want ...	Text of paper + bold
Note	Note. Notes ...	Text of paper + italics

The table shall be defined by bold lines on the top and bottom, under a heading by a thin horizontal line; in other places (if possible) do not use horizontal or vertical lines.

Use a non-proportional font (for example Courier New) size 9 to list the source code of the program/algorithm.

REFERENCES

The accuracy of the references is the author's responsibility. Only published articles or reports readily accessible in the general literature should be cited. It must reflect a good knowledge about the “state of the art” of research in the field of study. The references should be sorted in alphabetical order. Where there are more than 10 contributing authors please list only the first author and use “et al.” The following format for references should be followed:

Journal article:

Galton, A. (1992) Logic as a formal method. Comp. J., 35, 431-440.

(authors, year, title of paper, title of journal*, volume number, page numbers)

It is necessary to use the official abbreviations of journals

Book:

Hogger, C. (1990) Essentials of Logic Programming. Clarendon Press, Oxford. (authors, year, title of book, publisher, publisher location)

Chapter in monographs:

Harel, D. (1984) Dynamic logic. In: Gabbay, D. and Guenther, F. (eds), Handbook of Philosophical Logic. D. Reidel, Dordrecht.

(authors, year, title of chapter, editors, title of book, publisher, publisher location)

Conference paper:

Crochemore, M. and Verin, R. (1997) Direct construction of compact directed acyclic word graphs. Proceedings of CPM 97, Cambridge, MA, 12-14 August, Springer-Verlag, Berlin, pp. 192-211.

(authors, year, title, title of conference, place of conference, date of conference, publisher, publisher location, page numbers in proceedings)

Lindelöw, A. and Schroeder, L. M. (2001) Attack dynamic of the spruce bark beetle (Ips typographus L.) within and outside unmanaged and managed spruce stands after a stormfelling. In: Knížek, M. (ed.), Methodology of Forest Insect and Disease Survey in Central Europe. Proceedings of the IUFRO WP 7.03.10 Workshop, Busteni, Romania. IUFRO–ICAS, Brasov, pp. 68–71.

(authors, year, title, editors, title of conference, place of conference, date of conference, publisher, publisher location, page numbers in proceedings)

Technical documents:

ITU-T. Z.500 (1997) Framework on formal methods in conformance testing. International Telecommunications Union, Geneva, Switzerland.

(document number, year, document title, publisher, publisher location)

Advance Access papers:

Rae, A. and Fidge, C. Information flow analysis for fail-secure devices. Advance Access published December 15, 2004, 10.1093/comjnl/bxh056.

Reference to a web page:

Author or institution. URL, or name of a page, date of citation.