Instructions for Preparation of Extended Abstract for YTGE
Andrei Voronkov1*and David Hoder2
1
University of Minho, Braga, Portugal
University of Porto, Porto, Portugal
andrei@voronkov.com, davidk@cs.man.com
2
1 Introduction
The styles and parameters of this guide are designed for extended abstract preparation for YTGE. All published
abstracts will be based on electronically submitted documents. A PDF and a DOC version must be submitted.
The Proceedings will be printed by reproducing a print of the manuscripts submitted by the authors. It is
important to note that the appearance of your paper in the Proceedings will depend largely upon the care you take in
preparing the original manuscript and graphic material. You are responsible for all proofreading and layout.
2 Styles
To produce a document complying with the YTGE style you can simply take this guide and modify it.
2.1 Styles for the Article Body
Section headers should use the style Section, while subsection headers use the style Subsection. For example,
this text is part of Section 2 (Styles) and Subsection 2.1 (Styles for the Article Body).
The main text of the document should be written using the style Normal.
3 Adding Figures and Tables
In Microsoft Word, pictures can be inserted into the document by going to Insert->Picture->From File… on the
menu and selecting the desired file. Captions should be numbered automatically in sequential order. Figure 1Error!
Reference source not found.is an example of a captioned image.
Figure 1: Figure example
If you have a table in your document, captions can be created in the same way, just select “Table” from the
“Label” drop-down list instead. Table 1 shows an example of a table of data that was conveniently available.
*
Corresponding author. Email: email@emial.com
Table 1: Table example
ATP System
Vampire-LTB 11.0
iProver-SInE 0.7
SInE 0.4
leanCoP-SInE 2.1
E-LTB 1.1pre
EP-LTB 1.1pre
E-KRH'-LTB 1.1.3
LTB
/100
69
67
64
35
18
18
0
Avg
time
24.5
76.5
75.3
110.8
63.4
77.8
-
Prfs
out
69
0
64
35
0
18
-
SOTA
Con.
0.37
0.36
0.32
0.23
0.21
0.21
-
μ
Eff.
28.1
8.8
8.5
3.2
2.8
2.3
-
CYC
/35
23
28
26
23
7
7
0
MZR
/40
22
14
13
1
9
9
0
SMO
/25
24
25
25
11
2
2
0
In order to cross-reference a figure or table in your text, go to Insert->Cross-reference. For example, to generate
this cross-reference for Figure 1, “Only label and number” was selected.
4 General Guidelines to Improve the Content of Your Extended
Abstract
Please take note of these comments before writing your extended abstract:
1.
2.
3.
4.
5.
6.
7.
8.
9.
Always state the relation with the simulation or related field throughout your entire paper. The relation
can be threefold: your research is on simulation itself, your research using simulation in another field, or
your research contributes to the field of simulation.
If your paper describes a method or a technique, always give examples of the use of that method or
technique. If possible, include (references to) empirical evidence that your method or technique works
the way it is supposed to.
If your paper describes an application example, always point out the methods and techniques you used
to get the results that are described in the paper. Add screen-dumps if possible. Literature references
might be sufficient.
Give an indication of the current stage your work or research is in. Is it still preliminary? Is there a
commercially available product on the market? Is your work being applied by others or in other
domains?
Always indicate the novel aspects that will be covered in the paper with respect to earlier work of
yourself and of others. In what way does your contribution differ from what has been done before?
Make sure your introduction is appropriate. An introduction should give the general background for
your research, and references to general literature on the subject for interested readers.
Make sure your literature references are correct, and up-to-date. Others will use your paper to find more
information on the subject your paper is about. Do not only use your own references, but also refer to
work done by others.
End your paper with conclusions and further research and recommendations. Your conclusions must be
based on the material that can be found in the paper!
If you are not a native English speaker, have your English corrected before you send in your final paper.
References
Voronkov, A. (2004). Rules for extended abstract preparation.