[FOM] LPAR-17 call for short papers, workshop submissions

Geoff Sutcliffe by way of Martin Davis <eipye@pacbell.net> geoff at cs.miami.edu
Tue Jul 27 11:03:10 EDT 2010

                   The 17th International Conference on
         Logic for Programming, Artificial Intelligence and Reasoning
              Yogyakarta, Indonesia  -  October 10th-15th, 2010

                            CALL FOR SHORT PAPERS

In keeping with the tradition of LPAR, researchers and practioners are
encouraged to submit short papers reporting on interesting work in progress or
providing system descriptions. They need not be original. Extended versions of
the short papers may be submitted concurrently with or after LPAR-17 to another
conference or a journal. The short paper proceedings will be available as an
EasyChair collection volume.

Short papers are limited in length to 5 pages in the EasyChair format. Short
papers must be submitted through the EasyChair system using the web page ...

Submission deadline: 30 August 2010
Notification:         6 September 2010

                     LPAR-17 WORKSHOPS October 10th, 2010

    IWIL 2010 - The 8th International Workshop on the Implementation of Logics

IWIL has been unusually sucessful in bringing together many talented
developers, and thus in sharing information about successful implementation
techniques for automated reasoning systems and similar programs.  We are
looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies.

Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to
15 pages), in EasyChair format. Submission is via EasyChair ...

Submission deadline:  9 August 2010
Notification:        27 August 2010

         APS 5 - 5th International Workshop on Analytic Proof Systems

Analyticity is a topic that connects foundational issues in logic with
applications, mainly in automated deduction and analysis of proofs. The
workshop is primarily intended to enhance awareness for its topic and to
promote corresponding discussions and contacts between experienced experts
and younger colleagues. The submission deadline is 10th September.

Submissions are 1-2 page abstracts. Submissions must be emailed to ...
     analytic at logic.at

Submission deadline: 10 September 2010
Notification:        15 September 2010


More information about the FOM mailing list