Rules for Abstracts

Please note that abstracts of contributed talks at ASL meetings (including those submitted "by title") must follow these rules; abstracts which do not conform to these requirements will be returned immediately to the authors submitting them. Revised abstracts which do follow these rules will be considered if they are received by the announced deadline.

Individuals are invited to submit contributed papers that have logic research content that lies within the scope of the interests of the ASL. Individuals can appear on up to 3 abstracts on which they are an author or co-author per meeting, and each set of authors may submit only one abstract to each ASL meeting.

Abstracts of contributed talks are limited to 300 words (about three quarters of a page in the standard, 11pt LaTeX article style), including the title and other heading material and the references. They may be submitted in any of the following formats: via email attachments in LaTex, TeX or ASCII format, or attached as a .pdf, .ps or.doc file; or in hard copy by ordinary mail. Any abstract that is produced using TeX or Word should be fully processed by the author and a .pdf, .ps, or .doc file in which all mathematical symbols are visible as they are to appear in the typeset abstract must be submitted as well.

Authors typesetting abstracts are encouraged to use the ASL abstract template, ASLabstracttemplate.tex, that may be found at http://aslonline.org/abstractresources.html. Please rename the template using your last name before submitting it as an attachment. Complete instructions on how to use the template are included in ASLabstracttemplate.tex.

To ensure accurate and timely typesetting:
(1) Each abstract submission must include the complete address of at least one author, including an email address, or a statement that no email address is available.
(2) Abstracts may not include drawings or footnotes.
(3) The references must be complete: author, title, full name of journal, year, volume, page numbers; for a book, complete publisher data.

Typesetting is done immediately after the submission deadline, so abstracts should be in final form when they are submitted. A typeset booklet containing the abstracts will be distributed to participants at the meeting. Galley proofs are given to authors at the time of the meeting or before, and must be corrected, approved, and returned immediately after receipt; no changes other than corrections of typesetting errors may be made.

For ASL meetings in North America, at least one author of each contributed abstract must be an ASL member; this does not apply to the ASL European Summer Meeting. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication.