LFMTP 2012

7th International Workshop on

Logical Frameworks and Meta-languages:

Theory and Practice

Copenhagen, Denmark - September 9, 2012

Paper Submission and Review Process

The submission and review process involves four steps.

  1. Authors initiate the process by submitting a title and an abstract. This must be done electronically and through the EasyChair server for the workshop.
  2. Authors later complement the title and abstract with the actual paper that they would like to have considered for presentation at the workshop and for publication in its proceedings. These papers can be of different kinds; e.g. they could be system descriptions, short accounts of work in progress, or detailed, technical presentations of new results. All submissions must be in PDF form prepared using the SIGPLAN proceedings LaTeX style with default settings (e.g., 9-point font), with a maximum page limit of 10. These 10 pages include everything (i.e., it is the total length of the paper). Extra content may be included in appendices, but reviewers will be under no obligation to evaluate appendices.
  3. Submitted papers will be reviewed by the Program Committee to decide appropriateness for presentation at the workshop. The nature of the submission will be taken into account in determining acceptance and in allotting time for presentation.
  4. Authors of accepted papers must prepare a final version (with page limit increased to 12) that takes into account any comments provided by their reviewers. Sheridan Printing, which contracts with ACM, will e-mail submission instructions to authors of accepted papers.

A formal version of the proceedings will be made available after the workshop presentations through the ACM Digital Library.

The deadlines for the different phases:

  • Submission deadline: May 14, 2012 extended to June 1, 2012
  • Author notification: June 18, 2012
  • Final versions due: July 2 11, 2012
  • Workshop: September 9, 2012