The Word Paper Template File for ISMB 13

Author # 1*
Institution
Institution City, Country / Author #2
Institution
Institution City, Country / Author #3
Institution
Institution City, Country
Author # 4
Institution
Institution City, Country / Author #5
Institution
Institution City, Country

Abstract

This is the Word template for paper submissions to ISMB 13. Please limit your abstract to 200 words. The total page length should be no more than 15 pages.

The intent of this template is to give authors a guide for formatting their papers for ISMB 13. Please either use this template or the LaTeX template to prepare your papers for the conference.

______

*Contact Author Information: E-mail, Address, Phone Number, Fax Number

Short Paper TitleLast Name 1, Last Name 2, Last Name 3

1Introduction

The template is provided for authors to prepare their papers for ISMB 13. The intent of this template is to give authors a common framework for preparing their papers. The Word template is based on the companion LaTeX template that is also provided for the ISMB 13 conference. The goal is to provide a consistent formatting between the two document preparation options. If you would like to use another word processor, please make your paper conform to the formatting provided in Word.

2Typesetting

Please following the spacing and formatting provided in the template. If you are using another word processor, here are the basic settings for the format:

Paper size: US letter (8 ½” x 11”, or 215.9 mm x 279.4 mm)
Margins: 1” on top, bottom, left and right (25.4 mm on top, bottom, left, and right)
The font is Times New Roman. Font sizes are as follows:
Title: 20 pt
Section Headings: 18 pt, bold
Subsection Headings: 14 pt, bold
Subsubsection Headings: 10 pt, bold
Paragraph Headings: 10 pt, bold
Paper text: 10 pt

2.1Generalities

This is an example subsection within the document. Please do not alter the font size for section labels.

The second paragraph and subsequent paragraphs of each block of text under a heading should be indented. Please spell out the words “Figure,” “Table,” and “Equation” when referring to them in the text. For example, Figure 1 shows an example figure. The minimum resolution for figures is 300 dpi. Table 1, in Section 2.6, shows an example table, with the proper formatting and use of borders. Section 2.5 discusses mathematics, and Equation (1) gives a typical example of an equation.

The short paper title and the authors’ last names should appear in the header of all pages except the first page. Please note that this template is set up with even numbered pages and odd numbered pages. You will have to change the header information on page 2 and page 3 to get it to show up on all the pages.

Figure 1: Easy Chair

2.2Front matter

The front matter should be formatted as shown at the beginning of this document. If your paper has one author, please use the center cell of the first table only, and keep the other cells blank. Two-author papers should delete the first author table, and use the second author table with two entries. The contact author should provide their contact information as noted in the footnote at the beginning of the first page. The footnote can be edited to include the requested information: e-mail address, mailing address, phone number, and fax number (if applicable).

2.3Page numbering

Page numbers are set up in the template. Odd numbered pages should appear in the lower right corner, and even numbered pages should appear in the lower left corner. This should happen automatically with the template.

2.4Section Headings

The fifth subsection of Section 2.

2.4.1Subsubsection Header

The first subsubsection of Section 2.5.

Paragraph header. This is an example of a paragraph header. Use it for any headers you require for subsubsubsections within the document.

2.5Mathematics

Please use Microsoft Equation 3.0 objects to make your equations instead of the new Equation Gallery if you are using Microsoft Word 2007 or 2010 to create your manuscript. While the Equation 3.0 objects are older, they compatible with more printers and will make reproduction of the Proceedings more consistent.

Here are some examples of equations. Equation (1) is a series definition of the exponential function. For these, center the equation, and right justify the equation number. For example:

(1)

The second example shows a definite integral:

(2)

2.6Tables

Here is an example table for the Word template. Please pay attention to the numbering and formatting of table titles. Table titles should appear below the table. The font and formatting should not be changed.

ATP System / LTB
/100 / Avg
time / Prfs
out / SOTA
Con. / μ
Eff. / CYC
/35 / MZR
/40 / SMO
/25
Vampire-LTB 11.0 / 69 / 24.5 / 69 / 0.37 / 28.1 / 23 / 22 / 24
iProver-SInE 0.7 / 67 / 76.5 / 0 / 0.36 / 8.8 / 28 / 14 / 25
SInE 0.4 / 64 / 75.3 / 64 / 0.32 / 8.5 / 26 / 13 / 25
leanCoP-SInE 2.1 / 35 / 110.8 / 35 / 0.23 / 3.2 / 23 / 1 / 11
E-LTB 1.1pre / 18 / 63.4 / 0 / 0.21 / 2.8 / 7 / 9 / 2
EP-LTB 1.1pre / 18 / 77.8 / 18 / 0.21 / 2.3 / 7 / 9 / 2
E-KRH’-LTB 1.1.3 / 0 / - / - / - / - / 0 / 0 / 0

Table 1: LTB division results

2.7References

References will be numbered consecutively in the order they are used. Please see the example references at the end of this document for the reference format. Some citations are provided in the next paragraph. These citations point to examples of each of the reference types.

This is an example of a journal reference [1]. This example applies for conference proceedings [2]. The third and fourth examples are for PhD dissertations [3] and master's theses, [4], respectively. Here is a typical reference example for a book [5]. This next reference is an example technical report [6].

3Conclusion

The ISMB 13 organizing committee hopes you find this template useful in preparation of your paper. If you have specific questions about formatting, please contact Tim Dimond at .

References

[1]Edward A. Ashcroft and William W. Wadge. Lucid – a formal system for writing and proving programs. SIAM J. Comput., 5(3), 1976.

[2]William W. Wadge, G. Brown, M. C. Schraefel, and T. Yildirim. Intensional HTML. In 4th InternationalWorkshop PODDP’98, March 1998.

[3]L. Frzier. On Comprehending Sentences: Syntactic Parsing Strategies. PhD thesis, University of Connecticut,1978.

[4]Alison Reiko Loader. Making space. Master’s thesis, Department of Design and Computation Arts, Concordia University, Montreal Canada, 2008.

[5]William W. Wadge and Edward A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press, London, 1985.

[6]Sally C. Johnson. A strategy for automatically generating programs in the Lucid programming language (NASA technical memorandum). Technical report, NASA, Scientific and Technical Information Office,1987. ASIN: B000711R3Q.

AAppendix A

If you require an Appendix, please place it here. Appendices shall be numbered A, B, C, etc. If you require additional equations, continue numbering them consecutively from the main text. For example:

(3)

If you require additional references, they should be included in the references for the main document, continuing the consecutive numbering.