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. Abstracts received after the announced deadline will not be considered.

Individuals are invited to submit contributed papers about research in logic and/or research that concerns the interests of the ASL. Individuals’ names may appear as authors or co-authors on up to 3 abstracts per meeting; however, each set of authors may only submit one abstract per 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, other heading material, and references. They may be submitted via email (LaTex, TeX, ASCII, PDF, PS, Doc) or via post as a hard copy. Please note that if you are submitting an abstract using TeX or Word, it should be fully processed and it must be accompanied by a PDF/PS/Doc file in which all mathematical symbols are visible and correct for the typeset version.

Authors typesetting abstracts are encouraged to use the ASL abstract template, (ASLabstracttemplate.tex, asl.cls) 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, and for books, 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.