Call for Papers

Topics of interest to this forum include, but are not limited to:

  • Automated deduction
  • Applications of logical and/or semantic frameworks
  • Computational and logical properties of semantic frameworks
  • Formal semantics of languages and systems
  • Implementation of logical and/or semantic frameworks
  • Lambda and combinatory calculi
  • Logical aspects of computational complexity
  • Logical frameworks
  • Process calculi
  • Proof theory
  • Semantic frameworks
  • Specification languages and meta-languages
  • Type theory

Contributions should be written in English and submitted in the form of full papers (with a maximum of 16 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in latex using EPTCS style.

The submission should be in the form of a PDF file uploaded to Easychair:

Important Dates

  • Abstract: Monday 26th April Sunday 2nd May (extended deadline)
  • Submission: Sunday 2nd May Sunday 9th May (extended deadline)
  • Notification: Friday 4th June
  • Preliminary proceedings version due: Monday 14th June
  • Submission for final proceedings: Sunday 17th October
  • Final version: Sunday 19th December

The pre-proceedings, containing the reviewed extended abstracts, will be handed-out at event registration. After the meeting the authors will be invited to submit full versions of their works for the post-proceedings publication. At least one of the authors should register for the conference. Presentations should be in English.

According to the quality of submissions, the chairs will promote further publication of journal revised versions of the papers. Previous LSFA Special Issues have been published in journals as The Logical J. of the IGPL, Theoretical Computer Science and Mathematical Strucutres in Computer Sciences (see the LSFA page