AARNEWS - March 2006



No. 70, March 2006

From the AAR President
Herbrand Award: Call for Nominations
Call for Papers

  • LFMTP'06
  • FLoC'06
  • PDPAR 2006
  • LICS 2006
  • LCC'06
  • WRS06
  • AIML-2006

    From the AAR President, Larry Wos... This first issue of the AAR Newsletter for 2006 includes calls for papers, presentations, and demonstrations at conferences worldwide. Of especial interest is FLoC, which combines six conferences and hosts over 40 workshops. I encourage our members to participate; this burgeoning interest in automated reasoning is most exciting and gratifying.

    Herbrand Award:
    Call for Nominations

    Amy Felty
    Secretary of AAR and CADE
    On behalf of the CADE Inc. Board of Trustees

    The Herbrand Award is given by CADE Inc. to honor a person or group for exceptional contributions to the field of Automated Deduction. At most one Herbrand Award will be given at each CADE or IJCAR meeting. The Herbrand Award has been given in the past to

    Larry Wos (1992)

    Woody Bledsoe (1994)

    Alan Robinson (1996)

    Wu Wen-Tsun (1997)

    Gerard Huet (1998)

    Robert S. Boyer and J Strother Moore (1999)

    William W. McCune (2000)

    Donald W. Loveland (2001)

    Mark E. Stickel (2002)

    Peter B. Andrews (2003)

    Harald Ganzinger (2004)

    Martin Davis (2005)

    A nomination is required for consideration for the Herbrand award.
    The deadline for nominations for the Herbrand Award that will be given at IJCAR 2006 is the

    1 April 2006
    Nominations pending from previous years must be resubmitted in order to be considered.

    Nominations should consist of a letter (preferably email) of up to 2,000 words from the principal nominator, describing the nominee's contribution, along with letters of up to 2,000 words of endorsement from two other seconders. Nominations should be sent to

    Franz Baader President of CADE Inc.
    with copies to afelty@site.uottawa.ca

    Call for Papers


    The International Workshops on Logical Frameworks and Meta-Languages: Theory and Practice (affiliated with LICS and IJCAR at FLOC'06) will take place in Seattle, Washington, August 16, 2006.

    The theme is the automation and implementation of the meta-theory of programming languages and related calculi, particularly work which involves variable binding and fresh name generation. Of interest are the theoretical and practical issues concerning the encoding of variable binding and fresh name generation, especially the representation of, and reasoning about, datatypes defined from binding signatures. Case studies of meta-programming are welcome, as is the mechanization of the (meta)theory of programming languages and calculi.

    Paper submissions fall into three categories:

    For submission instructions, see the LFMTP Web site. The submission deadline is May 15, 2006.


    The 2006 Federated Logic Conference will take place in Seattle, Washington, August 10-22, 2006.

    The following conferences will participate in FLoC'06:

    In addition, FLoC'06 will host 42 workshops, many of which are detailed in this newsletter.

    Calls for papers for the conferences and workshops are available at the conference Web site. We invite you to submit papers to FLoC'06 conferences and workshops.

    PDPAR 2006

    The 4th International Workshop on Pragmatics of Decision Procedures in Automated Reasoning will be held in Seattle, Washington, August 21, 2006.

    Decision procedures are key components within many formal verification and automated reasoning tools. Their performance, capacity, and scalability are vital to the tools that depend on them. Furthermore, new extensions may allow the formal verification or automated reasoning tools to use decision procedures more effectively. The goal of this workshop is to bring together researchers interested in making new decision procedures possible, and old decision procedures more powerful and more useful.

    Topics of interest include new decision procedures, new methods of implementing decision procedures, new ways of using of the infrastructure common to decision procedures, and applications and case studies.

    PDPAR will accept two types of papers:

    Both kind of submissions will be reviewed by at least two referees, possibly more. The submission deadline is May 15, 2006.

    Submissions should be sent by email to pdpar06@dit.unitn.it. Further information about how to submit papers will be made available at the Web site.

    The authors of accepted submissions are expected to give a presentation at the workshop. They will be asked for the files of their presentations, which will be made available on the workshop's web page after the workshop.

    LICS 2006

    The twenty-first Annual IEEE Symposium on Logic in Computer Science (LICS 2006) will take place August 12-15, 2006, in Seattle, Washington. LICS 2006 will have a session of short (5-10 minutes) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2006 submission site between April 15 and April 21, 2006:


    A workshop on Locig and Computational Complexity (affiliated with LICS 2006) will take place in Seattle, Washington, August 10-11, 2006. Topics of interest include complexity analysis for functional languages, complexity in database theory, complexity in formal methods, computational complexity in higher types, formal methods for complexity analysis of programs, foundations of implicit computational complexity, logical and machine-independent characterizations of complexity classes, logics closely related to complexity classes, proof complexity semantic approaches to complexity, software that applies LCC ideas, and type systems for controlling complexity.

    The submission deadline is June 12, 2006. See the workshop Web site for details.


    The Sixth international Workshop on Reduction Strategies in Rewriting and Programming will take place in Seattle, Washington, August 11, 2006.

    The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions, developments, and results as well as surveys and tutorials on existing knowledge in this area.

    Reduction strategies study which subexpression(s) of an expression should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of a computation such as laziness, strictness, completeness, and need. . For this reason some programming languages (e.g., Elan, Maude, OBJ, and Stratego) allow the explicit definition of the evaluation strategy, whereas other languages (e.g., Clean, Curry, and Haskell) allow its modification. Strategies pose challenging theoretical problems and play an important role in practical tools such as theorem provers, model checkers, and programming languages.

    Abstracts must be submitted by May 8, 2006; full papers are due May 15. Topics of interest include the following:

    The page limit for regular papers is 13 pages in Springer Verlag LNCS style. Surveys and tutorials may be longer.

    Informal proceedings of accepted contributions will be available on-line. A hard copy will be distributed at the workshop to registered participants. Authors of selected contributions will be invited to submit a revised version, after the workshop, for inclusion in a collection. We anticipate the publication of formal proceedings in the Elsevier ENTCS series.

    For further information, see the Web page.


    The sixth international workshop on Strategies in Automated Deduction is a successor to both the series of STRATEGIES workshops associated with CADE and IJCAR and to the STRATA 2003 workshop associated with TPHOLs. Papers and participation are invited from both the fully automatic and interactive theorem proving communities.

    For the full call for papers see the Web site.


    The ``Advances in Modal Logic" conference will take place September 25-28, 2006, in Noosa (Queensland, Australia).

    Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

    Submissions are invited on all aspects of modal logics, including the following:

    The deadline for submission is March 27, 2006.

    The Proceedings of AiML 2006 will be published by College Publications. In a change from previous AiMLs, the proceedings will be made available at the meeting.

    For further information, see the Web site.

    Gail Pieper pieper@mcs.anl.gov
    March 2006